Nous venons de voir un premier connecteur logique, l’implication, notée ⇒.
Un autre connecteur important est la négation (non). La négation inverse sim-
plement les valeurs (i.e. le sens) d’une proposition. Par exemple, "non P", notée
¬Psignifie "tu termines à temps" et ¬Qsignifie "tu auras une promotion". Pour
la proposition élémentaire précédente P, on obtient donc la table de vérité :
P¬P
V F
F V
Plus généralement, si Aest une formule alors ¬Aest vraie lorsque Aest
fausse, et inversement, ¬Aest fausse lorsque Aest vraie.
Question(s).
1. Donnez la table de vérité de la proposition ¬¬P.
2. Donnez la table de vérité de la proposition ¬(P⇒Q).
3. La négation, pourtant logiquement simple, est source de bon nombre d’er-
reurs de raisonnement. Par exemple, quelles sont les négations de
(a) ce lapin est blanc ;
(b) f est la fonction nulle ;
(c) x≤0;
(d) Pierre possède un chien et un chat.
Exercice 2. Boss, pouvez-vous reformuler ?
La dernière phrase de l’exercice précédant met en œuvre un nouveau connec-
teur logique, le "ET", noté ∧. Par exemple, considérons les deux propositions
suivantes :
R: "tu mangeras" et S: "tu boiras".
3