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

А последующий вторая половина гипотетического предложение. В стандартной форме такого предложения это часть, следующая за «тогда». В значение, если п подразумевает Q, тогда п называется предшествующий и Q называется последующий.^[1] В некоторых контекстах консеквент называется аподозис.^[2]

Примеры:

Если ${ displaystyle P}$ , тогда ${ displaystyle Q}$ .

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

Если ${ displaystyle X}$ это млекопитающее, тогда ${ displaystyle X}$ это животное.

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

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

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

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

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

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

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

Рекомендации

^ Множества, функции и логика - Введение в абстрактную математику, Кейт Девлин, Chapman & Hall / CRC Mathematics, 3-е изд., 2004 г.
^ Видеть Условное предложение.

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

[1] Множества, функции и логика - Введение в абстрактную математику, Кейт Девлин, Chapman & Hall / CRC Mathematics, 3-е изд., 2004 г.

[2] Видеть Условное предложение.

[1]

[2]