stringtranslate.com

Антецедент (логика)

Антецедент это первая половина гипотетического предложения , если предложение if предшествует предложению then. В некоторых контекстах антецедент называется протазисом . [1]

Примеры:

Это нелогическая формулировка гипотетического предложения. В этом случае антецедентом является P , а консеквентомQ. В импликации , если подразумевает , то называется антецедентом и называется консеквентом. [2] Антецедент и консеквент соединяются посредством логической связки, образуя предложение .

« Человек» является антецедентом этого предложения, тогда как « смертен» является следствием этого предложения.

Здесь фраза «Люди ходили по Луне» является антецедентом, а фраза «Я — король Франции» — следствием.

Позволять .

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

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

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

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