WikiSort.ru - Не сортированное

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

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

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

Примечания

В Википедии есть портал «Логика»

Это заготовка статьи по логике. Вы можете помочь проекту, дополнив её.