Académique Documents
Professionnel Documents
Culture Documents
1. éléments d’Histoire
2. logique proposi6onnelle
3. théorie des modèles et systèmes de Preuve
4. logique des prédicats de premier ordre
5. Interpréta6ons, inférences
6. Prolog
LS29A1 A. GIANNAKOS 2017
A. GIANNAKOS
Logique formelle: Logique proposi6onnelle
Symboles u6lisés: p, q, r,…,¬, ∧, ∨,(,), et aussi →, ↔
p, q, r, p1, p2,…,pi : proposi6on (ou formule) atomique
¬, ∧, ∨, →, ↔: opérateurs logiques ‘non’, ‘et’, ‘ou’,
‘implique’, ‘équivaut’
(,): parenthèses
U6lisa6on des opérateurs
¬p,
p∧q, p∨q,
p→q est ¬p∨q , p↔q est (p→q)∧(q→p)
Règles
1. Pr->pi 4. Pr->Pr∨Pr 7. Pr->Pr ↔ Pr
2. Pr->(Pr) 5. Pr->Pr∧Pr
3. Pr-> ¬Pr 6. Pr->Pr→Pr
LS29A1 A. GIANNAKOS 2017
A. GIANNAKOS
Séman@que
Logique proposi6onnelle classique:
valeur de vérité vrai y faux z
p q p∧q p q p∨q p ¬p
y y y y y y y z
z y z z y y z y
y z z y z y
z z z z z z
p q p→q p q p↔q
y y y y y y
z y y z y z
y z z y z z
z z y z z y
LS29A1 A. GIANNAKOS 2017
A. GIANNAKOS
Défini@on Soit un ensemble de formules Σ. Un
modèle pour Σ est une affecta6on des valeurs
de vérité aux proposi6ons atomiques des
formules de Σ qui rend vraies toutes les
formules de Σ.
Ex: Σ={p1∨p2, p1 → p2} Un modèle en est
υ(p2)=y, υ(p1)=z
y y y y y y y y y y z z z z z z z z
z y y y y y z z z z z z z z y y y y
y z y y z z y y z z z z y y z z y y
z z y z y z y z y z z y z y z y z y
• Remarquez que g8+i est ¬ gi pour tout i de 1 à 8, donc il suffit de
pouvoir exprimer par des formules les 8 premières fonc6ons.
g1 est exprimée par exemple par (p ∨¬p)∨q
g2 est exprimée p.ex. par p∨q, g3 par p→q , g4 par (p ∨¬p)∧q,
g5 par q→p, g6 par (q ∨¬q)∧p, g7 par p↔q et g8 par p∧q
• Ces expressions ne sont pas forcément uniques, ni les plus simples
possibles!
LS29A1 A. GIANNAKOS 2017
A. GIANNAKOS
Une méthode générale pour exprimer une fonc6on booléenne f à
n « variables » par une formule:
• f est déterminée par les k combinaisons des valeurs booléennes
de ses variables (parmi les 2n combinaisons) pour lesquelles elle a
la valeur y (pour toute autre combinaison elle a la valeur z ):
donc
y pour toute valeur de (x1, x2,…, xn)
parmi les k d’un Sf{z, y}n
f(x1, x2,…, xn)=
z pour toute autre valeur de (x1, x2,…, xn)
Pour tout (y1, y2,…, yn)i élément de S on va poser
qi =l1 ∧l2 ∧… ∧ln où lj = pj si yj est y, et lj = ¬pj si yj est z
(si S est vide, on met simplement la formule de contradic6on:
p1 ∧¬ p1 ∧p2 ∧… ∧pn)
• Finalement, f est exprimée par φ : q1∨q2∨ … ∨qk
• Exemple: g12 est exprimée par (p ∧¬q)∨(¬p ∧¬q)
LS29A1 A. GIANNAKOS 2017
A. GIANNAKOS
• Est-ce que {¬, ∧, ∨, →, ↔} est un ensemble d’opérateurs
minimal pour exprimer
(en u6lisant aussi p,q,r,… – des proposi6ons atomiques – et
des parenthèses) toute fonc6on booléenne?
• Non. Par exemple, puisque
p ∧ q est équivalent à ¬(¬p ∨¬q),
p →q est équivalent à ¬p ∨q,
p ↔q est équivalent à (p→q) ∧ (q→p)
donc à (¬p∨q) ∧ (¬q∨p) donc à ¬(¬ (¬p∨q) ∨¬ (¬q∨p)),
il s’ensuit qu’on peut construire toute formule
contenant {¬, ∧, ∨, →, ↔} (et par conséquent, toute fonc6on
booléenne), en u6lisant seulement {¬, ∨}.
LS29A1 A. GIANNAKOS 2017
A. GIANNAKOS
Des transforma6ons similaires peuvent être montrées pour
{¬, ∧}, {¬, →} (exercice).
Proposi@on 1: {¬, ∨}, {¬, ∧}, {¬, →} , sont les uniques
sous-ensembles minimaux de {¬, ∧, ∨, →, ↔} capables d’
exprimer toute fonc6on booléenne
Proposi@on 2: chacun des {g10}, {g16} permet aussi d’exprimer
toute fonc6on booléenne! (exercice)