Последующий - Consequent

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

Примеры:

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

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

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

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

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

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

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

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

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

Смотрите также

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

использованная литература

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

• v
• т
• е