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

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

Примеры:

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

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

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

« является мужчиной» - предшествующее утверждение. ${\ displaystyle X}$

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

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

Пусть . Если тогда ${\ Displaystyle у = х + 1}$${\ displaystyle x = 1}$${\ displaystyle y = 2}$

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

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

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

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

• v
• т
• е