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

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

Примеры:

Если $P$ , затем $Q$ .

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

Если $X$ это мужчина, тогда $X$ смертен.

" $X$ является человеком» является антецедентом для этого предложения, в то время как « $X$ смертен» является следствием предложения.

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

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

Позволять $y=x+1$ .

Если $x=1$ затем $y=2$ ,.

" $x=1$ "является антецедентом и" $y=2$ «является следствием этого гипотетического предложения.

См. также [ править ]

Ссылки [ править ]

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

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

[1] См . Условное предложение .

[2] Множества, функции и логика - Введение в абстрактную математику , Кейт Девлин, Чепмен и Холл / CRC Mathematics, 3-е изд., 2004 г.

[1]

[2]