Ennakkotapaus (looginen)

Edeltävä on ensimmäinen puoli on hypoteettinen ehdotus , jossa jos-lauseke edeltää silloisen lauseke.

Esimerkiksi:

• jos P , niin Q .

Se on epälooginen muotoilu hypoteettisesta ehdotuksesta. Täällä edeltäjä on P , ja tulos on Q . Eräässä implisiittisesti , jos merkitsee sitten kutsutaan edeltäjä ja kutsutaan seuraava. ϕ{\ displaystyle \ phi}ψ{\ displaystyle \ psi}ϕ{\ displaystyle \ phi}ψ{\ displaystyle \ psi}

• JOS X on mies, niin X on kuolevainen.

"X on mies" on tämän ehdotuksen ennakkotapaus.

• Jos mies on kävellyt kuulla, minä olen Ranskan kuningas.

Tässä "ihminen käveli kuulla" on ennakkotapaus.

Katso myös

• Vahvistus seurauksesta
• Ennakkotapaus
• Johdonmukainen (looginen)

Viitteet

• (en) Tämä artikkeli on osittain tai kokonaan otettu Wikipedian englanninkielisestä artikkelista "  Antecedent (logic)  " ( katso luettelo kirjoittajista ) .

1. Joukot, toiminnot ja logiikka - Johdatus abstraktiin matematiikkaan, Keith Devlin, Chapman & Hall / CRC Mathematics, 3. painos, 2004

<img src="https://fr.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">