stringtranslate.com

Последующий

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

Примеры:

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

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

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

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

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

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

Ссылки

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