Scribd
Importer
49 vues2 pages

Exam 2018-2019

Ce document contient un examen de logique mathématique avec plusieurs questions et exercices portant sur des concepts comme les littéraux, les clauses, les formules sous forme clausale, les tables de vérité et la déduction. L'examen comporte cinq exercices portant sur ces sujets.

Transféré par

Hettal Adel
Copyright
© © All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd
49 vues2 pages

Exam 2018-2019

Ce document contient un examen de logique mathématique avec plusieurs questions et exercices portant sur des concepts comme les littéraux, les clauses, les formules sous forme clausale, les tables de vérité et la déduction. L'examen comporte cinq exercices portant sur ces sujets.

Transféré par

Hettal Adel
Copyright
© © All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd

Ministère de l’Enseignement Supérieur et de la Recherche Scientifique

UNIVERSITE M’Hamed BOUGARA –BOUMERDES


FACULTE DES SCIENCES
DEPARTEMENT D’INFORMATIQUE

Nature de l’examen : ETLD Matière : Logique Mathématique


Durée : 1h30 Filière : 2eme année Licence informatique
Année Universitaire : 2018/2019 Date : 23/01/2019
Question de cours : (4 pts)
1. Qu'est ce qu'un littéral ?
2. Définissez inductivement une clause.
3. Définissez inductivement une formule sous forme clausale.
Exercice 1 : (4 pts)
Vous êtes perdu dans le désert. Vous avez le choix entre deux pistes. Chacune des 2 pistes est gardée
par un paysan que vous pouvez interroger. Les pistes peuvent soit conduire à une oasis, soit se
perdre dans un désert profond.(elles peuvent conduire toutes les deux à une oasis, comme elles
peuvent vous perdre toutes les deux).
A : le paysan de droite vous répond : "une au moins des 2 pistes conduit à une oasis "
B : le paysan de gauche vous répond : " La piste de droite se perd dans le désert”
C : vous savez que les 2 paysans disent tous les deux la vérité ou bien mentent tous les deux”
On note OD la proposition :"Il y a une oasis au bout de la route de droite ” et OG la proposition : "il
y a une oasis au bout de la route de gauche”
1. Exprimer par une formule logique chacune des affirmations A et B
2. Exprimer alors la connaissance C
3. Résoudre alors cette énigme soit en utilisant les tables de vérité ou une autre méthode vue en
cours.
Exercice 2 : (3 pts)
Soit le séquent suivant : |- (a∧b ⇒ c )⇒ (¬a∨b ⇒ a ⇒ b)
• a) Construire une preuve du séquent.
• b) Le séquent est-il valide ? justifier votre réponse.
Exercice 3 : (2 pts)
A partir des hypothèses suivantes : p∨q , p⇒r , q⇒r∨s , on a déduit : r∨s∨ t
Ce raisonnement est-il correct ? Justifier votre réponse par la méthode de votre choix.
Exercice 4 : (4 pts) (N'est plus dans le programme de LM 2021)
Démontrer que les propositions suivantes sont des théorèmes.
• |- (A → B) → (A → B)
• |- ¬ A → (A → B)
• |- ((A → B) → (B → C)) → (B → ((A→ B) → C))
• |- (A → B) → ((B → (C → B)) → (A→ (C → B)))

Exercice 5 : (3 pts)
Étudiez la satisfaisabilité de la formule suivante : (x ⇒y)⇒((y⇒¬ w)⇒¬ x) en utilisant la méthode
de Davis-Putnam.
Rappel : Axiome et règles d’inférence du calcul des séquents :

Vous aimerez peut-être aussi