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.

Disjonction

Connecteur "ou". Lorsque l'on a deux propositions on peut former une nouvelle proposition appelée disjonction de et de notée vraie signifie que l'une au moins des deux propositions est vraie.

Attention, le "ou" est non-exclusif.

Distributivité

Propriété d'être distributif. Soient deux lois de composition interne et sur un ensemble est dite distributive par rapport à à droite [resp. à gauche] si pour tous les élément de on a :

[ resp. ].

Une loi est distributive si elle l'est à droite et à gauche.

Equivalence

Deux propositions et sont équivalentes si l'on a à la fois et

Si une propriété est vraie, l'autre l'est aussi.

Si une propriété est fausse, l'autre l'est aussi.

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.