Académique Documents
Professionnel Documents
Culture Documents
Logique et Raisonnement
Ces notes ne constituent pas un cours - elles ne sont ni exhaustives, ni rigoureuses, et ne contiennent
que trop peu d'exemples et à peu près aucune preuve. Il ne s'agit que d'une che de brefs rappels.
Éléments de logique
Assertions
• Une assertion , ou proposition , est une phrase syntaxiquement correcte, et dont on peut dire sans
ambiguïté si elle est vraie ou fausse; on dira aussi que l'on peut lui assigner une valeur de vérité : vrai
(V) ou faux (F).
Ceci repose sur deux principes fondamentaux :
◦ Principe du tiers exclu : Une proposition est nécessairement vraie ou fausse.
◦ Loi de non contradiction : Une proposition ne peut pas être à la fois vraie et fausse.
Quelques exemples :
1+1=2
1+1=0
x >6
2
Certaines assertions peuvent donc dépendre d'une ou plusieurs variables libres, et leur valeur de vérité
peut dépendre de ces variables, comme par exemple l'assertion P : x > 6 ; on note parfois P (x) une telle
2
-1-
M1 MEEF SD Maths Logique et Raisonnement
Toutes ces dénitions peuvent être résumée dans une table de vérité :
Mode d'emploi : les assertions P et Q (les 2 colonnes de gauche) peuvent être vraies (V) ou fausses (F),
ce qui fait 4 possibilités : ce sont les 4 lignes de la table. Ces 4 lignes recouvrant tous les cas possibles,
elles susent à dénir complètement les connecteurs logiques (les 5 colonnes suivantes). L'avant dernière
ligne, par exemple, donne les valeurs de vérité de NONP , P ET Q, etc, lorsque P est fausse et Q est vraie.
Ces tables de vérité permettent de démontrer les règles suivantes sur les connecteurs logiques, où P, Q, R
désignent trois assertions :
◦ Idempotence. P ∨ P ⇔ P et P ∧P ⇔P
◦ Commutativité. P ∨ Q ⇔ Q ∨ P et P ∧Q⇔Q∧P
◦ Associativité. (P ∨ Q) ∨ R ⇔ P ∨ (Q ∨ R) et (P ∧ Q) ∧ R ⇔ P ∧ (Q ∧ R)
◦ Distributivité. P ∨ (Q ∧ R) ⇔ (P ∨ Q) ∧ (P ∨ R) et P ∧ (Q ∨ R) ⇔ (P ∧ Q) ∨ (P ∧ R)
◦ Involutivité. P ⇔ P
◦ Lois de De Morgan. P ∨ Q ⇔ P ∧ Q et P ∧Q⇔P ∨Q
-2-