Консеквент

Сле́дствие (также консекве́нт, от лат. consequens — от com "с, вместе с" + sequi "следовать" или сукцеде́нт, от succedens — «от sub после + cedere "идти"») — используемое в философии (особенно кантовской школы) и логике в учении о суждениях, заключениях и доказательствах понятие, означающее следствие, вывод в отношении к причине — антецеденту.

В условном высказывании «если $A$$A$, то $B$$B$» высказывание $A$$A$ есть антецедент; высказывание $B$$B$ называется консеквентом. Например, в условном высказывании «если сейчас ночь, то темно» антецедент — «сейчас ночь», а следствие (консеквент) — «темно».

В формальных логических исчислениях понятие консеквента используется как для правой части импликации (в $A\Rightarrow <!--\; \Rightarrow \; -->B$$A\Rightarrow B$ консеквентом является $B$$B$), так и в понятиях о выводимости, например, в исчислении секвенций, где основным выражением является секвенция вида $\mathrm{\Gamma <!--\; \Gamma \; -->}\to <!--\; \to \; -->\mathrm{\Delta <!--\; \Delta \; -->}$$\Gamma \rightarrow \Delta$, показывающая выводимость формул списка $\mathrm{\Delta <!--\; \Delta \; -->}$$\Delta$ из формул списка $\mathrm{\Gamma <!--\; \Gamma \; -->}$$\Gamma$, сукцедентом (консеквентом) называется список $\mathrm{\Delta <!--\; \Delta \; -->}$$\Delta$.