Logique mathématique

Propositions

Une proposition est un énoncé déclaratif dont on peut dire qu'il est vrai ou faux source : Le Petit Robert.

Proposition universelle

Une proposition du type Tout … est … est dite universelle.

Tout est un quantificateur universel.

Dans certaines propositions le quantificateur universel est implicite, particulièrement dans les propositions conditionnelles et dans les identités.

Proposition existentielle

Une proposition du type Il existe un … qui est … est dite existentielle.

Il existe est un quantificateur existentiel.

Lionel Avon