1

Université de Yaoundé I Faculté des Sciences

The University of Yaounde I Faculty of Sciences

Départment d’Informatique

Fondements mathématiques de l’Informatique : Contrôle Continu No1,

semestre 2 (2h00)
02 Mai 2017
Etienne Kouokam
N.B. Attention, dans ces questions il peut y avoir plusieurs réponses valables. l’étudiant n’aura droit à la totlité des points
d’une question que si toutes les bonnes réponses sont choisies et rien que celles-là.

1.1 On considère les propositions atomiques B, R, C et S représentant respectivement les assertions "Claudia est belle",
"Claudia est riche", "Claudia est célèbre" et "Nous vivons dans une société du paraître. Dire, parmi les propositions
suivantes, celles dans lesquelles les parenthèses sont inutiles (1.5 pt)
a. ¬A b. ¬(B ∨ R) c. (B ∧ R) ⇒ C d. C ⇒ (B ∧ R) e. S ⇒ (B ⇔ R) f. ((B ∨ R) ∧ ¬C) ⇒ ¬S g. aucune
bonne réponse parmi a, b, c, d, e et f
1.2 Monsieur Truc nous fait les deux affirmations suivantes :
(1) Si cet objet est rare, alors il est cher
(2) De plus si cet objet est cher, alors il n’est pas rare
A première vue, ces deux affirmations semblent contradictoires. En vous aidant de la table de vérité,
1.2.1 peut-on dire que cet ensemble de propositions de Monsieur Truc (2 pts)
a. est satisfaisable b. est valide ? c. est invalide ? d. est consistant e. aucune bonne réponse parmi a, b,
c, et d
1.2.2 De ce fait, peut-on dire que Monsieur Truc (2 pts) . . .
a. n’a pas forcément toujours tort ? b. a logiquement tort ? c. a toujours raison ? d. n’a pas souvent raison ?
e. aucune bonne réponse parmi a, b, c, et d
1.3 Soient considérées les formules propositionnelles suivantes :
a. (P ∧Q)∧(P ∨Q) b. P ∨(P ∧Q) c. ¬P ⇒ (P ∧Q) d. (P ⇒ Q) ⇒ (Q ⇒ P ) e. (P ⇒ Q)∧(Q ⇒ R) ⇒ (P ⇒ R)
1.3.1 Sont considérées comme tautologies (2 pts)
a. b. c. d. e. f.aucune
1.3.2 Sont considérées comme formules satisfaisables (on dit aussi satisfiables) (2 pts)
a. b. c. d. e. f. aucune
1.3.3 Sont considérées comme formules invalides (1 pt)
a. b. c. d. e. f. aucune
1.3.4 La formule (P ⇒ Q) ∧ (Q ⇒ R) ⇒ (P ⇒ R) est de profondeur (1 pt)
a. 0 b. 1 c. 2 d. e. 4 f. 5
1.3.5 La formule (P ⇒ Q ∨ ¬R ∧ ¬P ∨ S) ∧ (Q ⇒ R) ⇒ (P ⇒ R) est de profondeur (1 pt)
a. 1 b. 2 c. 3 d. 4 e. 5 f.
1.4 On considère une formule mise sous forme clausale sur laquelle on applique la méthode de résolution. Que peut-on dire
sur la formule si on arrive à
1.4.1 en tirer une résolvante tautologique (1 pt) . . . a. la formule est contradictoire b. la formule est satis-
faisable c. la formule est valide d. on ne peut rien dire
1.4.2 la clause vide (1 pt) . . . a. la formule est contradictoire b. la formule est satisfaisable c. la formule
est valide d. on ne peut rien dire
1.5 On considère les raisonnements suivants :
a. A ⇒ ¬B ∨ C, B ⇒ A ∧ ¬C |= C⇒B
b. ¬A ⇒ B, C ⇒ ¬A ∧ ¬C |= ¬A ⇒ (¬C ⇒ B)
c. P ⇒ (R ∧ T ), T ∨ S ⇒ ¬Q |= ¬(P ∧ Q)
d. (S ⇒ R) ∧ P, Q |= ¬R ∧ ¬S ∧ P
 2
1.5.1 Quels sont les raisonnements valides (4 pts) . . . a. b. c. d. e. aucun
1.5.2 Quels sont les raisonnements invalides (1 pt) . . . a. b. c. d. e. aucun
1.6 Deux amis, qui ne se mentent jamais, sont en conversation :
Bertrand : Alors, t’es-tu vraiment décidé entre Juliette et Isabelle ?
Paul : Je vais te dire deux choses. D’abord, j’aime Juliette ou Isabelle, et ensuite, si j’aime Juliette, c’est plus fort
que moi, j’aime aussi Isabelle.
Bertrand : Peux-tu vraiment jurer que si tu aimes Juliette alors tu aimes aussi Isabelle ?
Paul : Tout ce que je peux t’affirmer c’est que si c’est vrai alors j’aime Juliette et que si c’est faux alors, je ne l’aime
pas.
De qui Paul est-il réellement amoureux ? (3 pts)
a. de Juliette b. de Isabelle c. aucune des deux d. de toutes les deux e. aucune bonne réponse

Bon courage ! ! !