Académique Documents
Professionnel Documents
Culture Documents
Logique
Après cet introduction à la théorie des ensemble nous allons faire une introduction à la logique,
et surtout comment la logique est utilisée dans les mathématiques. Nous allons aussi continuer de
faire des constructions avec des ensembles !
Définition 3.1. 6 Une "proposition (logique)" est un énoncé qui peut être vrai ou faux, mais non
les deux à la fois.
Un énoncé dans la vraie vie peut être vrai et faux au même temps : dans ce cas ce n’est pas
considéré comme une proposition logique.
Exemples :
— p1 :="Toronto est la capitale du Canada" (faux)
— p2 := "le chat est un animal" (vrai)
— p3 :="1 + 1 = 3" (faux)
— p4 :="si x ∈ E et E ⊆ F alors x ∈ F " (vrai)
— p5 :="Chaque nombre naturel n > 2 pair est la somme de deux nombres premier" (vrai ou
faux, mais inconnu)
On a le sentiment qu’on pourrait décomposer p4 comme une combinaison d’autres propositions
plus simples. En effet, c’est le cas. Et aussi, qu’on pourrait combiner des propositions pour obtenir
des propositions plus compliquées. En effet.
Un énoncé est alors appelé une proposition logique, si cet énoncé peut être vrai ou faux. Mais
ce n’est pas nécessaire d’aussi connaître la réponse, de connaître la vérité de la proposition. C’est
le but des mathématiques (et les sciences) de formuler des propositions logiques et d’en décider la
vérité. Plusieurs propositions ont été proposées dans les mathématiques, dont on ne connaît pas
encore la vérité. Si on a des raisons de croire qu’une proposition soit vraie, mais on ne peut pas le
montrer dit que c’est une conjecture. Par exemple, Goldbach 7 semble avoir cru que la proposition
p5 soit vraie.
Conjecture 3.1 (Goldbach). Chaque nombre naturel n > 2 pair est la somme de deux nombres
premier.
Plus précisement, le but des mathématiques est à partir de quelques hypothèses de base (des
propositions logiques qu’on suppose vraie), de produire une longue liste de propositions logiques
qui sont alors aussi vraies (et espérons intéressantes et/ou utiles). Et ça en respectant les règles
de la logique et en utilisant les ensembles et leurs fonctions. L’hypothèse de base de loin la plus
importante est qu’on suppose que l’ensemble des entiers N avec ses propriétés élémentaires EXISTE.
On va discuter ses propriétés plus tard.
p∨q,
est par définition une proposition logique qui est vraie si p est vraie ou si q est vraie (ou si tous
les deux sont vraies). Et est donc fausse sinon (c.-à-d. si p et q sont fausses). (Parfois on dit la
disjonction de p et de q.)
Il faut faire attention, parce que dans la vraie vie il y a deux "ou"’s. L’autre est plus strict :
La proposition "p ou-strict q", et on écrit
p⊕q,
est aussi une proposition logique qui est par définition vraie si soit p est vraie, soit q est vraie (mais
pas si toutes les deux sont vraies). Et cette proposition est donc fausse si p et q sont toutes les deux
fausses ou si p et q sont toutes les deux vraies. (Parfois on dit la disjonction exclusive de p et de q,
et parfois on écrit p xor q, mais pas dans ce cours.)
La proposition "p et q", et on écrit
p∧q,
est aussi une proposition logique qui est par définition vraie si p est vraie et si aussi q est vraie. Et
c’est fausse sinon, c.-à-d. si p est fausse ou si q est fausse (ou toutes les deux sont fausses). (Parfois
on dit la conjonction de p et de q.)
La proposition "non-p" (ou "pas-p"), et on écrit
¬p,
est aussi une proposition logique qui est par définition vraie si p est fausse. Et ¬p est fausse sinon,
c.-à-d. si p est vraie.. On dit aussi la négation de p.
La proposition "si p alors q", ou "p implique q", et on écrit
p→q,
est aussi une proposition logique, qui est par définition vraie si (p est vraie et q est vraie) ou (si p
est fausse). Et c’est fausse sinon, c.-à-d. uniquement si p est vraie mais q est fausse. On dit p est
l’hypothèse et q la conclusion de "l’implication p → q"
Dernière définition. La proposition "p si et seulement si q" , on écrit
p↔q,
est aussi une proposition logique, qui est par définition vraie si (p et q sont tous les deux vraies) ou
si (p et q sont tous les deux fausses). Et c’est fausse sinon, c.-à-d. une des deux est vraie et l’autre
est fausse. (On dit aussi "p biconditionnelle q".)
Remarque. Soient p et q deux propositions logiques. Il faut bien comprendre : p → q est une
proposition logique, qui peut être vraie ou fausse.
Qu’est-ce qu’on peut dire a propos de la vérité de p et q si on sait que l’implication
p→q
Il faut aussi bien comprendre que p ↔ q est soi-même une proposition logique, qui peut être
vraie ou fausse.
Si p ↔ q est vraie on a deux possibilités : (i) p ET q sont vraies ou (ii) p ET q sont fausses.
Si p ↔ q est fausse alors on a deux possibilités : (i) (p est vraie ET q est fausse) ou (ii) (p est
fausse ET q est vraie).
Remarque. Vous ne devez pas confondre les symbôles ∨ et ∪, ∧ et ∩, et pour une proposition p
nous avons défini ¬p, mais pas p. Vous n’avez pas le droit d’utiliser vos propres notations !
3.2. Tableau de vérité. Nous présentons ces définitions en forme de tableaux de vérité, où
V :=vrai, et F :=faux.
Pour la négation :
p ¬p
V F
F V
Pour nos autres définitions de base :
p q p∨q p⊕q p∧q p→q p↔q
V V V F V V V
V F V V F F F
F V V V F V F
F F F F F V V
Remarquons que p↔q est vraie si et seulement si (p ⊕ q) est faux.
En regardant la dernière colonne on se rend compte que P est faux si et seulement si p est faux
et q est faux et r est vraie, ou en formule que
((¬p) ∧ (¬q)) ∧ r)
est vraie.
Ou que P est vraie si et seulement si
¬ (((¬p) ∧ (¬q)) ∧ r)
est vraie.
Posons Q := ¬ (((¬p) ∧ (¬q)) ∧ r) et calculons de nouveau ses valeurs de vérité :
p q r P Q R
V V V V V V
V V F V V V
V F V V V V
V F F V V V
F V V V V V
F V F V V V
F F V F F F
F F F V V V
p q r P Q P ↔Q
V V V V V V
V V F V V V
V F V V V V
V F F V V V
F V V V V V
F V F V V V
F F V F F V
F F F V V V
On voit que la proposition logique composée P ↔ Q est toujours vraie, n’importe les valeurs de
vérité de p, q et r. On dit P ↔ Q est une tautologie, notation P ⇔ Q.
Les trois colonnes correspondantes sont identique. Donc la proposition est vraie.
3.6. Formules logiquement équivalentes. Donnons une petite reformulation. On pourrait voir
P = P (p, q, r), Q = Q(p, q, r), R = R(p, q, r)
comme trois formules ou comme trois fonctions qui dépendent des propositions logiques p, q, r. Par
exemple
P : {propositions logiques}3 → {propositions logiques}
où le triple de propositions (p, q, r) est envoyé vers la proposition P = P (p, q, r).
Par définition : P et Q sont logiquement équivalentes si les fonctions composées avec la fonction
"vérité" deviennent identiques :
"vérité" ◦ P = "vérité" ◦ Q.
Si A et B sont deux ensembles et b ∈ B un élément fixé, on peut définir la fonction constante,
souvent aussi noté b, comme la fonction qui associe à chaque élément a ∈ A ce même élément b
(ou b(a) = b). Dans le même sens nous considérons V comme la proposition composée (ou formule
logique) qui a la valeur de vérité V n’importe les valeurs de p, q, r. Et de même pour F .
3.7. Équivalences logiques de base. Une première liste d’équivalences logiques utilisées tout le
temps :
Théorème 3.1. Voici quelques équivalences logiques, avec leurs noms classiques :
p∧V ⇔ p (Identité)
p∨F ⇔ p (Identité)
p∨V ⇔ V (Domination)
p∧F ⇔ F (Domination)
p ∨ p ⇔ p (Idempotence)
p ∧ p ⇔ p (Idempotence)
¬(¬p) ⇔ p (Loi de la double négation)
p ∧ q ⇔ q ∧ p (Commutativité)
p ∨ q ⇔ q ∨ p (Commutativité)
((p ∨ q) ∨ r) ⇔ (p ∨ (q ∨ r)) (Associativité)
((p ∧ q) ∧ r) ⇔ (p ∧ (q ∧ r)) (Associativité)
(p ∨ (q ∧ r)) ⇔ ((p ∨ q) ∧ (p ∨ r))) (Distributivité)
(p ∧ (q ∨ r)) ⇔ ((p ∧ q) ∨ (p ∧ r))) (Distributivité)
¬(p ∧ q) ⇔ ((¬p) ∨ (¬q)) (Loi de De Morgan)
¬(p ∨ q) ⇔ ((¬p) ∧ (¬q) (Loi de De Morgan)
24
Démonstration. La plupart des preuves est facile : il faut soi-même se convaincre ! Nous donnons
deux exemples de preuve par tableau :
Si P := p ∨ (q ∧ r) et Q := (p ∨ q) ∧ (p ∨ r) on a
p q p∧q P ¬p ¬q Q
V V V F F F F
V F F V F V V
F V F V V F V
F F F V V V V
Effectivement P ⇔ Q.
3.8. Preuve d’equivalences logiques en utilisant l’algèbre (de Boole). Remarquons tout
d’abord que si P, Q et R sont trois formules logiques (ou propositions composées) et P ⇔ Q et
Q ⇔ R alors aussi P ⇔ R. (Et si P ⇔ Q alors aussi Q ⇔ P (c.-à.d., l’équivalence logique est
symmétrique), et on a toujours P ⇔ P .)
Donc on peut enchaîner des équivalences logiques pour obtenir d’autres.
Nous avons déjà montré un certain nombre d’équivalences, ce qui nous pouvons utiliser. À la
place d’utiliser un tableau pour vérifier une équivalence logique, on peut aussi utiliser les petites
règles déjà montrées, comme en algèbre.
Démonstration. Nous allons utiliser une suite d’équivalences logiques (avec les raisons données entre
parenthèses)
Et voilà !
Chaque ligne est claire, j’espère. Mais trouver la chaîne n’est pas si évidente.
Remarque. On a vu beaucoup de ()’s dans cette preuve. Et à chaque symbol "(" il correspond un
symbol ")". Parce que p ∨ (q ∨ r) = (p ∨ q) ∨ r, écrire
p∨q∨r
n’est pas ambigu. On supprime des ()’s, parce qu’ils sont superflus dans cette situation.
Ainsi pour
p∧q∧r
On pose la convention que "¬" a une plus haute priorité que ∨ ou ∧ ou → ou ...
Donc ¬p ∨ q veut dire (¬p) ∨ q (et pas ¬(p ∨ q), ce qui est vraiment différent).
Et ¬p → q veut dire (¬p) → q.
Mais c’est ambigu d’écrire ”p ∧ q ∨ r” et ”p ∧ q → r” ; on n’a pas le droit d’écrire ça (il faut ajouter
des ()’s pour clarifier ce qu’on veut vraiment). Dans ce cours nous ne posons pas d’autres priorités
entre les opérations. Vous aussi êtes donc obligé d’évitez des ambiguïtés, en utilisant les ()’s
et [ ]’s.
3.9. Règles d’inference de base. Voici quelques règles d’inférence 8 utilisées tout le temps aussi,
avec leurs noms classiques.
p ⇒ (p ∨ q) (Addition)
p ∧ q ⇒ p (Simplification)
[p ∧ (p → q)] ⇒ q (Modus ponens)
[¬q ∧ (p → q)] ⇒ ¬p (Modus tollens)
[(p → q) ∧ (q → r)] ⇒ (p → r) (Syllogisme par hypothèse)
[(p ∨ q) ∧ ¬q] ⇒ p (Syllogisme disjonctif)
Démonstration. Ces équivalences sont aussi facile à montrer avec un tableau de vérité. Par exemple
Modus ponens :
p q p → q p ∧ (p → q) (p ∧ (p → q)) → p
V V V V V
V F F F V
F V V F V
F F V F V
La dernière colonne contient seulement des V , donc correspond à une tautologie.
(q ∧ (¬p → ¬q)) ⇒ p.
Cette règle d’inférence est utilisée dans une preuve par l’absurde, comme nous verrons plus tard.
p : U → {propositions logiques}
27
Proposition 3.3. Soit P (u) une fonction propositionnelle avec U comme univers de discours de
la variable u. Alors
¬(∀u p(u)) ⇔ ∃u (¬p(u))
et
¬(∃u p(u)) ⇔ ∀u (¬p(u)).
122