Последующий

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

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

Примеры:

  • Если , то . П {\displaystyle P} В {\displaystyle Q}

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

  • Если это млекопитающее, то это животное. Х {\displaystyle X} Х {\displaystyle X}

Здесь « является животным» — это следствие. Х {\displaystyle X}

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

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

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

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

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

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

Ссылки

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


Взято с "https://en.wikipedia.org/w/index.php?title=Consequent&oldid=1219270640"