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

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 у = х + 1}$. Если ${ displaystyle x = 1}$ тогда ${ displaystyle y = 2}$

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

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

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

Этот логика -связанная статья является заглушка. Вы можете помочь Википедии расширяя это.