Antecedente (logico)

Un antecedente è la prima metà di una proposizione ipotetica , dove la clausola if precede la clausola then.

Per esempio:

• se P , allora Q .

È una formulazione illogica di una proposizione ipotetica. Ecco l'antecedente è P , e il risultato è Q . In un'implicazione , se implica, allora è chiamato antecedente ed è chiamato conseguente. ϕ{\ displaystyle \ phi}ψ{\ displaystyle \ psi}ϕ{\ displaystyle \ phi}ψ{\ displaystyle \ psi}

• SE X è un uomo, allora X è mortale.

"X è un uomo" è l'antecedente di questa proposizione.

• Se un uomo ha camminato sulla luna, allora sono il re di Francia.

Qui, "un uomo ha camminato sulla luna" è l'antecedente.

Vedi anche

• Affermazione del conseguente
• Negazione dell'antecedente
• Coerente (logico)

Riferimenti

• (it) Questo articolo è parzialmente o interamente tratto dall'articolo di Wikipedia in inglese intitolato "  Antecedent (logic)  " ( vedere l'elenco degli autori ) .

1. Insiemi, funzioni e logica - Introduzione alla matematica astratta, Keith Devlin, Chapman & Hall / CRC Mathematics, 3a ed., 2004

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