Cet ouvrage fait partie de la bibliothèque YouScribe
Obtenez un accès à la bibliothèque pour le lire en ligne
En savoir plus

UTBM fondements theoriques de l informatique 2006 gi

2 pages

Utbm mt42 Examen médian Automne 2006Nb: Lesexercices1et2serontrédigéssurdesfeuillesséparées. Parailleurs, onpourraadmettretoutrésultatintermédiaireafindepoursuivrelarésolutiond’unexercice.Exercice 1 Equivalence logique1.1 Première partieNous rappelons que ...

Publié par :
Ajouté le : 21 juillet 2011
Lecture(s) : 198
Signaler un abus
Utbm mt42Examen médianAutomne 2006 Nb :Les exercices 1 et 2 seront rédigés sur des feuilles séparées.Par ailleurs, on pourra admettre tout résultat intermédiaire afin de poursuivre la résolution d’un exercice.
Exercice 1
1.1Première partie
Equivalence logique
Nous rappelons que deux formulesF1etF2sont logiquement équivalentes (ce qui est notéF1F2) lorsqu’elles sont satisfaites par les mêmes valuations. Etant donnée la formulep(qr), indiquer lesquelles des formules suivantes lui sont logiquement équivalentes :
q(¬pr) (q∧ ¬r)p (p∧ ¬r)q (¬q∧ ¬r)→ ¬p
Expliquer la méthode utilisée pour décider des équivalences logiques précédentes.
1.2Deuxième partie a)Rappels Nous rappelons qu’une formuleFest conséquence logique des formulesF1, F2. . ,, .Fnce qui est noté F1, F2, .. . ,Fn|=F,
lorsque toute valuation qui satisfaitF1, F2F, .. . ,nsatisfait aussiF. Nous savons aussi que, quelles que soient les formulesF1, F2etF, on a : F1, F2|=Fsi et seulement si|= (F1F2F),
|=Qsignifie que la formuleQest valide. b)Utiliser l’équivalence logique pour montrer qu’on a aussi : F1, F2|=Fsi et seulement si|= (F1(F2F)).
1
.../...
Un pour Un
Permettre à tous d'accéder à la lecture
Pour chaque accès à la bibliothèque, YouScribe donne un accès à une personne dans le besoin