TD3 : conséquence logique et systèmes de preuve

Exercice1
Prouver avec les tableaux sémantiques :
1. a ⊧ b → a
2. p → (q → r) ⊧ (p → q) → (p → r)
3. a → b, a → ¬ b ⊧ ¬ a
4. ¬ p → ¬ q ⊧ q → p

Exercice 2
Vérifier avec la méthode des tableaux sémantiques si les ensembles suivants sont
satisfaisables :
E={A→B, A ,B}
F={C→A,BC, A→(AB)}
G={ A→B, BC, (CD)B}

Exercice 3
Précisez sans utiliser la table de vérité, si les formules suivantes sont des tautologies, des
contradictions, ou des propositions simplement satisfaisables

1. (P ⇒ Q) ⇒ (Q ⇒ P)
2. (P ⇒ Q) ∧ (Q ⇒ R) ⇒ (P ⇒ R)
3. (P∧Q⇒ R) ∧ (P ∧R⇒Q)

Exercice 4:

Montrer que :

M → P  A, B  M → P = (A → B)  M → P
= ( A → ( B → C ))  (( A  B) → C ))

Montrer sans utiliser les tables de vérité que :

( p  q)  ( p → q), r → q = r  q
= pqr → pq
(s → r )  p, q r  s  p
 p → q , q → r , r  =  p
Exercice 5 :

Soient les ensembles C et F suivants :

(1)- C = { a ∨¬b ∨c , ¬a∨c , a ∨b ∨e } , F = {e}

(2)- C = {¬ p ∨¬q∨ r , p , q } , F = {s}

(3)- C = { ¬q ∨p, ¬p ∨r ∨q, ¬p ∨¬q, p ∨¬t, ¬p ∨¬r, p ∨q ∨s ∨t, p ∨¬s∨ t }, F = {t}

Pour chacun des trois cas, dites si F est une conséquence logique de C.

• Si oui, donnez une preuve par résolution.

• Si non, justifiez .
Exercice 6

Grand-père se prépare à faire une promenade matinale, il mène le raisonnement suivant :

F1 : S’il fait beau demain, pour que je puisse me promener, il faut que je me lève tôt.

F2 : Il va faire beau demain.

F3 : C’est décidé: je vais me promener ou bien me lever tôt.

C : Donc, si je me lève tôt, je vais me promener.

1. Symboliser puis formaliser les hypothèses et la conclusion de ce raisonnement.

2. Le raisonnement est il valide ? Justifier votre réponse.