Forfedre (logisk)
En antecedent er første halvdel av et hypotetisk forslag , der if-klausulen går foran den da klausulen.
For eksempel:
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å
Referanser
-
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;">