Антецедент (логика) - Википедия - Antecedent (logic)

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

Примеры:

  • Если , тогда .

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

  • Если мужчина, тогда смертельно.

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

  • Если люди ходили по Луне, то я король Франции.

Здесь «люди ходили по луне» - это предшественник.

Позволять . Если тогда

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

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

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