Последующий

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

Примеры:

Если $P$ , затем $Q$ .

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

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

Здесь, " $X$ является животным» является следствием.

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

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

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

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

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

См. также [ править ]

Ссылки [ править ]

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

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

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

[2] См . Условное предложение .

[1]

[2]