SÉMANTIQUE (SUITE) : MÉTHODE DE L'ARBRE SÉMANTIQUE

La méthode de l'arbre sémantique (aussi appelé tableau sémantique) est une autre technique
permettant de déterminer si une formule est ou non une tautologie, en construisant un arbre
(différent de l'arbre syntaxique) Cette méthode est en général plus simple que celle de la table de
vérité lorsque la formule comporte plus de trois atomes.

Les règles:
V :¬A V : A∨B V : A∧B V : AB
F: A V:A
V:A V:B V:B F:A V:B

F : ¬A F : A∨B F : A∧B F: AB

V:A F:A V: A
F:B F:A F:B F: B

La méthode: on écrit des formules signées, c'est-à-dire précédées de V ou F.

1. Pour examiner si une formule A est une tautologie, on part toujours de: F: A
2. on construit l'arbre au moyen des règles ci-dessus qui disent comment traiter chaque formule
en fonction de sa signature (V ou F) et de son connecteur principal.
3. Traiter une formule revient à générer une autre formule (si le connecteur principal est la
négation) ou deux autres formules (dans tous les autres cas) , et à les mettre soit l'une au
dessous de l'autre, soit de part et d'autre de deux branche. On continue ensuite à traiter les
formules générées en dessous selon les mêmes règles.
4. Toutes les formules qui apparaissent dans l'arbre doivent avoir été traitées (on les coche au
fur et à mesure).
5. La ou les formules générées selon les règles doivent être reportées au bout de toutes les
branches déjà ouvertes qui sont situées EN DESSOUS de la formule que vous traitez.
6. Vous êtes libres de traiter les formules présentes dans l'arbre dans l'ordre que vous souhaitez.
Mais vous avez intérêt à traiter d'abord les formules qui n'ouvrent pas de branche.
7. Une fois que toutes les formules (sauf les atomes) ont été traitées, on examine chaque
branche de l'arbre en remontant du bas jusqu'en haut. Si on trouve à un moment donné un
atome signé puis le même atome avec sa signature opposée (par exemple: q:V puis q:F), la
branche est barrée (on met une croix). On ne s'intéresse à ce moment-là qu'aux atomes et
non aux formules complexes.
8. Si TOUTES les branchent sont barrées, la formule est une tautologie. Sinon, non.
9. On peut examiner si les branches sont barrées au fur et à mesure qu'on traite les formules. Si
une branche est barrée, on peut mettre une croix et cesser d'en tenir compte dans la
construction de l'arbre. De toute manière, tout ce qui passera par là sera toujours barré
ensuite.
Exemple 1:

Exemple 2 :

Autre arbre, juste mais plus complexe, résultat de choix moins judicieux pour la même formule:
 FEUILLE D'EXERCICES 4
Arbres sémantiques et dialogues

Exercice 1 : examinez au moyen de la méthode de l'arbre sémantique si les formules suivantes sont
des tautologies.
1. ((s∨⅂p)→(r→r)) 6. (p∨((⅂p∨p)→⅂t))
2. (( p → r )∨(r → p)) 7. (r∨((⅂(r∨t)→p)∨⅂r))
3. (((q→r)∧(r→s))→(q∨s)) 8. ((s→r)→(r∨⅂((p∨t)∧s)))
4. ((r→t)∨(s→(r→q))) 9. (s∨(r∨(q→(⅂r∧(s→q)))))
5. (⅂(r→q)→⅂(((s∨p)∨r)→s)) 10. (⅂t→(q→(r→(s∧s))))

Exercice 2 : examinez au moyen de la méthode de l'arbre sémantique si les équivalences suivantes

sont valides :
(q →(r ∨s))eq (¬r → q) ( p∨q)eq ( q →¬ p) ( p →(q∧r ))eq((q →¬r )→¬ p)
( p∨¬ p)eq( q → q)

Exercice 3 : soient l'ensemble B composé des formules suivantes : p , q → r , p∨q

Examinez au moyen de la méthode de l'arbre sémantique si les formules suivantes sont conséquence
logique de B :
p → q ¬ p → r (t∧r )→( r∧t) (r → s)→( p∨s ) r →(¬q∨(q → p))

Exercice 4 : mêmes questions pour les mêmes formules avec B composé de r →q , ¬( p∧q), q

Exercice 5 : même question avec B composé de s → t , q∧r ,( p∨s)∧¬( p∨s ) . Pouvez-vous

conclure plus rapidement ?