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.

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.

Implication

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

On le note

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.