Русская Википедия:Консеквент

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

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

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

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

Примечания

Шаблон:Примечания

Шаблон:Logic-stub