ECOLE NATIONALE SUPERIEURE POLTECHNIQUE DE DOUALA CORRECTION DU CC N°1

EC : LOGIQUE ET STRUCTURES DISCRETES NIVEAU : 3 FILIERE : GIT_GLO/TTIC_GI

ENSEIGNANT : EBENEZER MAKA MAKA DUREE : 01H00 DATE : 18/11/2022

EXERCICE 1 : QUESTIONS A REPONSES OUVERTES (0,75+0,75+1+0,75+0,75=4pts)

Répondre aux questions suivantes dans le jargon destiné à la logique.
1. Définir : cohérence d’une formule ; insatisfiabilité d’une formule ;
a. Cohérence d’une formule : une formule est dite cohérente s’il existe une interprétation de ses variables
propositionnelles qui la rend vrai.  0, 75 pt 

b. insatisfiabilité d’une formule : une formule est dite insatisfiable si pour toutes interprétations de ses
variables propositionnelles elle reste fausse.  0, 75 pt 

2. Donner la différence fondamentale entre la conjonction française et la conjonction logique

La conjonction française est non commutative tandis que la conjonction logique est commutative. 1pt 

3. Rappeler les formules d’import-export et d’autodistributivité en utilisant les variables p, q et r.

   
Import-export :  p   q  r   q   p  r    0, 75 pt 
 
Autodistributivité :  p   q  r      p  q    p  r    0, 75 pt 
EXERCICE 2 : MANIPULATIONS DES FORMULES (1+1+1+1+1=6pts)
1. Conclure en remplaçant les points d’interrogations par des propositions ou des formules.

a.   p   p  q    q   0, 75 pt  b.  p    p  q    q   0, 75 pt 
2. Modéliser la situation donnée ci-dessous avec la logique propositionnelle en proposant des formules, construire des
modèles de chaque formule, et évaluer la requête en considérant :
 p : il pleut  q : la pression est constante  r : la température est constante
Si la température et la pression sont constantes, alors il ne pleut pas. La température était constante. Est-il
vrai que s’il ne pleuvait pas, alors la pression était constante ?
Modélisation : F1    q  r    p   0, 75 pt  F2  r  0, 75 pt  C  ?   p  q   0, 75 pt 
L’évaluation de la requête revient à vérifier si  F1 , F2   C . Pour cela on a la table de vérité suivante : 1,5 pt 
p q r F1    q  r    p  F2  r C  ? p  q
V V V F V V
V V F V F V
V F V V V V
V F F V F V
F V V V V V
F V F V F V
F F V V V F
F F F V F F
La table de vérité nous renseigne à la ligne 5 que  p, q, r est un modèle de  F1 , F2  et de C on peut donc affirmer
qu’il est VRAI que s’il ne pleuvait pas, alors la pression était constante.  0, 75 pt 

Remarque : la ligne 3 nous renseigne encore plus sur la véracité de cette conséquence logique en montrant que s’il
pleut  p  V  la pression n’est pas constante  q  F  .