Consequent

Найдите consequent в Wiktionary, бесплатном словаре.

A консеквент - вторая половина гипотетического суждения. В стандартной форме такого предложения это часть, следующая за «тогда». В импликации , если P подразумевает Q, то P называется антецедентом, а Q называется консеквентом . В некоторых контекстах консеквент называется аподозисом .

. Примеры:

• Если $P\; \{\backslash \; displaystyle\; P\}$, то $Q\; \{\backslash \; displaystyle\; Q\}$.

$Q\; \{\backslash \; displaystyle\; Q\}$является следствием этого гипотетического предложения.

• Если $X\; \{\backslash \; displaystyle\; X\}$- млекопитающее, то $X\; \{\backslash \; displaystyle\; X\}$- животное.

Здесь "$X\; \{\backslash \; displaystyle\; X\}$- животное "- это следствие.

• Если компьютеры могут думать, значит, они живы.

«Они живы» - следствие.

Следствие гипотетического предложения не обязательно является следствием антецедента.

• Если обезьяны фиолетовые, то рыбы говорят на клингонском.

«Рыбы говорят на клингонском» является следствием здесь, но интуитивно не является следствием (и не имеет ничего общего с) утверждения, сделанного в предшествующем, что «обезьяны фиолетовые».

• Антецедент (логика)
• Необходимость и достаточность