stringtranslate.com

Последующий

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

Примеры:

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

Здесь « является животным» является следствием.

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

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

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

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

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

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