Forfedre (logisk)

En antecedent er første halvdel av et hypotetisk forslag , der if-klausulen går foran den da klausulen.

For eksempel:

• hvis P , så Q .

Det er en ulogisk formulering av en hypotetisk proposisjon. Her antecedent er P , og resultatet er Q . I en implikasjon , hvis innebærer da kalles antecedent og kalles påfølgende. ϕ{\ displaystyle \ phi}ψ{\ displaystyle \ psi}ϕ{\ displaystyle \ phi}ψ{\ displaystyle \ psi}

• HVIS X er en mann, så er X dødelig.

"X er en mann" er forgjengeren til denne proposisjonen.

• Hvis en mann har gått på månen, så er jeg kongen av Frankrike.

Her er "en mann gikk på månen" forgjengeren.

Se også

• Bekreftelse av det påfølgende
• Negasjon av antecedent
• Konsekvent (logisk)

Referanser

• (no) Denne artikkelen er delvis eller helt hentet fra den engelske Wikipedia- artikkelen med tittelen "  Antecedent (logic)  " ( se listen over forfattere ) .

1. Sett, funksjoner og logikk - En introduksjon til abstrakt matematikk, Keith Devlin, Chapman & Hall / CRC Mathematics, 3. utg., 2004

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