Перейти к навигации Перейти к поиску
Поищите консеквент в Викисловаре, бесплатном словаре. |
Как следствие второй половины гипотетического предложения . В стандартной форме такого предложения это часть, следующая за «тогда». В импликации , если P влечет Q , то P называется антецедентом, а Q называется консеквентом . [1] В некоторых случаях следствие называется аподозисом . [2]
Примеры:
- Если , то .
является следствием этого гипотетического предложения.
- Если млекопитающее, значит животное.
Здесь « это животное» - это следствие.
- Если компьютеры умеют думать, значит, они живы.
«Они живы» - это следствие.
Следствие гипотетического предложения не обязательно является следствием антецедента.
- Если обезьяны фиолетовые, то рыбы говорят на клингонском.
«Рыбы говорят на клингонском» является здесь следствием, но интуитивно не является следствием (и не имеет ничего общего с) утверждения, сделанного в предшествующем, что «обезьяны пурпурные».
См. Также [ править ]
Ссылки [ править ]
- ^ Множества, функции и логика - Введение в абстрактную математику, Кейт Девлин, Chapman & Hall / CRC Mathematics, 3-е изд., 2004
- ^ См. Условное предложение .