Les opérations sur les propositions
Soient P et Q deux propositions.
On appelle disjonction de
et
la proposition P ou Q qu'on note
et qui est vraie si l'une au moins est vraie.
On appelle conjonction de
et
la proposition P et Q qu'on note
et qui est vraie si
et
sont vraie
à la fois.
On appelle équivalence des propositions
et
la proposition
qui se lit P si et seulement Q. L'équivalence est vraie si
et
sont vraies à la fois ou fausses à la fois.
On appelle la négation de
qu'on note
la proposition qui est vraie quand
est fausse.
On appelle implication la proposition
et qu'on note
L'implication est fausse dans le seul cas ou
est vraie et
fausse.