Антецедент (логика)
Первая половина гипотетического утверждения (в логике)

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

Примеры:

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

Это нелогическая формулировка гипотетического предложения. В этом случае антецедент — это P , а консеквент — это Q. В импликации « подразумевает », называется антецедентом , а называется консеквентом. [2] Антецедент и консеквент связаны посредством логической связки, образуя предложение . ϕ {\displaystyle \фи} ψ {\displaystyle \пси} ϕ {\displaystyle \фи} ψ {\displaystyle \пси}

  • Если человек, то он смертен. Х {\displaystyle X} Х {\displaystyle X}

« Является человеком» является антецедентом этого предложения, тогда как « является смертным» является его следствием. Х {\displaystyle X} Х {\displaystyle X}

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

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

Позволять . у = х + 1 {\displaystyle у=х+1}

  • Если тогда ,. х = 1 {\displaystyle x=1} у = 2 {\displaystyle у=2}

« » — это антецедент, а « » — это следствие этого гипотетического предложения. х = 1 {\displaystyle x=1} у = 2 {\displaystyle у=2}

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

Ссылки

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


Значок заглушки

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

Взято с "https://en.wikipedia.org/w/index.php?title=Antecedent_(logic)&oldid=1221137980"