A-MN-Z
A-M
Associativité

Propriété d'être associatif. Une loi de composition interne sur un ensemble est dite associative si pour tous ses éléments et on a :

Conjonction

Connecteur "et". Lorsque l'on a deux propositions on peut former une nouvelle proposition appelée conjonction de et notée vraie signifie que les deux propositions sont vraies en même temps.

Contraposée :

La contraposée de est l'énoncé logique Un raisonnement par contraposée (ou par contraposition) amène à démontrer pour démontrer

Implication

Connecteur "implique". Si on a deux propositions et signifie que si est vraie alors l'est aussi.

On le note

N-Z
Négation

Connecteur "non". Lorsque l'on a une proposition est le contraire de c'est-à-dire la proposition qui est vraie quand est fausse, et inversement qui est fausse quand est vraie.

Négation d'une implication

La négation de est l'équivalent de l'énoncé logique c'est-à-dire que est vraie et simultanément que est fausse.

Négation de la conjonction

La proposition est équivalente à la proposition

Négation de la disjonction

La proposition est équivalente à la proposition

Réciproque

La réciproque d'une implication est l'implication Si les deux implications sont démontrables alors la démonstration de est dite réciproque de la démonstration de