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

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

Примеры:

• Если ${\displaystyle P}$, тогда ${\displaystyle Q}$.

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

• Если ${\displaystyle X}$ мужчина, тогда ${\displaystyle X}$ смертельно.

"${\displaystyle X}$ является мужчиной "является антецедентом этого утверждения.

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

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

Позволять ${\displaystyle y=x+1}$. Если ${\displaystyle x=1}$ тогда ${\displaystyle y=2}$

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

• Утверждая следствие (заблуждение)
• Отрицание антецедента (заблуждение)
• Необходимость и достаточность

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

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