консеквент
Sign in to saveAlso known as consequence, apodosis
A consequent is the second half of a hypothetical proposition. In the standard form of such a proposition, it is the part that follows "then". In an implication, if P implies Q, then P is called the antecedent and Q is called the consequent. In some contexts, the consequent is called the apodosis.
Wikidata facts
- Instance of
- term
- Subclass of
- proposition
- Said to be same as
- consequence
Show 2 more facts
- opposite of
- antecedent
- different from
- result
Sources (2)
via Wikidata · CC0
Article · Русский
Сле́дствие (также консекве́нт, от лат. consequens — от com "с, вместе с" + sequi "следовать" или сукцеде́нт, от succedens — «от sub после + cedere "идти"») — используемое в философии (особенно кантовской школы) и логике в учении о суждениях, заключениях и доказательствах понятие, означающее следствие, вывод в отношении к причине — антецеденту. В условном высказывании «если , то » высказывание есть антецедент; высказывание называется консеквентом. Например, в условном высказывании «если сейчас ночь, то темно» антецедент — «сейчас ночь», а следствие (консеквент) — «темно». В формальных логических исчислениях понятие консеквента используется как для правой части импликации (в консеквентом является ), так и в понятиях о выводимости, например, в исчислении секвенций, где основным выражением является секвенция вида , показывающая выводимость формул списка из формул списка , сукцедентом (консеквентом) называется список .
Abstract from DBpedia / Wikipedia · CC BY-SA