Proposition

Définition

Concept 1 est concept 2.

Type

A Affirmative universelle Tout S est P S ⊂ P
E Négative universelle Aucun S n'est P S ⊂ P
I Affirmative particulière Certains S
sont P
S∩P ≠ Ø
O Négative particulière Certains S ne sont pas P S∩P ≠ Ø

Exemple pour A : Tout réel est à carré réel positif.

Exemple pour E: Aucun réel non nul n'a un carré nul.

Exemple pour I: Certains complexes ont des carrés réels négatifs.

Exemple pour O: Certains complexes ont des carrés non réels.

Remarques

  • L'univers (ou contexte) est fondamental car une proposition n'a de valeur de vérité que si l'univers est explicité.
  • Par exemple la proposition "x est pair" n'a de sens que pour x entier (ici N ou Z).

  • La négation de cette proposition est "x est un nombre entier impair".