Vous êtes sur la page 1sur 1

2) Renommez les variables liées de chaque formule de la question 1.

Institut Supérieur d'Informatique et A.U. 2020/2021 3) Donnez l’arbre syntaxique de chacune de ces formules.
de Mathématiques de Monastir
Exercice 6:
TD n°1 – Logique de premier ordre 1) Montrez que la conjonction de prédicats n’est pas commutative.

Enseignant : Dr ABBASSI Imed Groupe : CPI 1 2) Montrez que l’ensemble {⟹,¬} constitue un système complet minimal de connecteurs logiques.
3) Est-il possible d’exprimer toutes les formules logiques en utilisant uniquement les connecteurs
Exercice 1: d’équivalence (⟺) et de négation (¬) ? Justifiez votre réponse.
On considère les deux propositions suivantes : 4) Une formule logique peut-elle être à la fois en forme normale conjonctive et disjonctive ? Justifiez
- P : les chiens aboient
votre réponse.
- Q : la caravane passe
Traduisez les affirmations suivantes en logique de premier ordre. Exercice 7:
1) Si la caravane passe, alors les chiens aboient. Vérifiez les conséquences logiques suivantes :
2) Les chiens n’aboient pas.
1) (A⇒B), A ⊨B
3) La caravane ne passe pas ou les chiens aboient.
4) Les chiens n’aboient pas et la caravane ne passe pas. 2) A⇒ B, B⇒ C ⊨ A ⇒ C
Exercice 2: 3) ((A∧¬B) ⇒ C), ¬C, A ⊨ B
Formaliser les énoncés suivants en logique de premier ordre: 4) ((A∨B) ⇔ ¬A), ¬A, (A∨B) ⊨ B
1) Il existe un entier naturel plus petit ou égal à tous les autres.
5) (A ∧ B ⇒ C) ⊨ (A ⇒ C)
2) Il n’existe pas d’entier naturel plus grand ou égal à tous les autres, mais pour tout entier il en
existe un qui est strictement plus grand. 6) (A ∧ B ⇒ C) ⊨ (B ⇒ C)
3) L’ensemble des entiers premiers est non borné. 7) (A ∧ B ⇒ C) ⊨ (A ⇒ C) ∨ (B ⇒ C)
4) Tout entier peut être positif ou négatif.
8) ⊨ (A ⇒ B) ∨ (B ⇒ C)
5) Un entier naturel est pair ou impair.
Exercice 3:
En utilisant la méthode de table de vérité, déterminez parmi les formules logiques suivantes celles qui
sont des tautologies :
1) A ∨ ¬ A
2) (A ∨ (B ∧ C)) ⇔ ((A ∨ B) ∧ (A ∨ C)))
3) ¬ (A ∨ B) ⇔ (¬A ∧ ¬B)
4) ¬ (A ∧ B) ⇔ (¬A ∨ ¬B)
5) (A ⇒ (B ⇒ A))
Exercice 4:
Construisez l’arbre syntaxique de chacune des formules ci-dessous :
1) (A ∨ (B ∧ C)) ⇔ ((¬A ∨ B) ∧ (A ∨ C)))
2) (A ∧ (B ∨ C)) ⇔ ((A ∧ B) ∨ A)
3) ¬ (A ∨ B) ⇔ (¬A ∧ ¬B)
Exercice 5:
1) Trouvez les variables libres et les variables liées dans les formules suivantes:

1 2

Vous aimerez peut-être aussi