Interrogation du Mercredi 09 Novembre 2011
Exercice 1 (Partiel 21-11-2009)
Est-il possible d’attribuer des valeurs de v´erit´e (VRAI ou FAUX) aux propositionsA,B etCde telle sorte que l’´enonc´e suivant soit faux ?
(A=⇒B) =⇒((C=⇒A) =⇒(C=⇒B)) Exercice 2 (Examen 11-01-2011)
D´emontrer que, pour n’importe quelles propositionsA,B etC, les ´enonc´es (A=⇒B) =⇒C
et
(B=⇒C) et (AouC)
sont logiquement ´equivalents, en utilisant les r`egles de calcul logique vues en TD.