Консеквент
Следствие (также консеквент, от лат. consequens — от com "с, вместе с" + sequi "следовать" или сукцедент, от succedens — «от sub после + cedere "идти») — используемое в философии (особенно кантовской школы) и логике в учении о суждениях, заключениях и доказательствах понятие, означающее следствие, вывод в отношении к причине — антецеденту.
В условном высказывании «если A {displaystyle A} , то B {displaystyle B} » высказывание A {displaystyle A} есть антецедент; высказывание B {displaystyle B} называется консеквентом. Например, в условном высказывании «если сейчас ночь, то темно» антецедент — «сейчас ночь», а следствие (консеквент) — «темно».
В формальных логических исчислениях понятие консеквента используется как для правой части импликации (в A ⇒ B {displaystyle ARightarrow B} консеквентом является B {displaystyle B} ), так и в понятиях о выводимости, например, в исчислении секвенций, где основным выражением является секвенция вида Γ → Δ {displaystyle Gamma ightarrow Delta } , показывающая выводимость формул списка Δ {displaystyle Delta } из формул списка Γ {displaystyle Gamma } , сукцедентом (консеквентом) называется список Δ {displaystyle Delta } .