• Aucun résultat trouvé

TD de Logique n

N/A
N/A
Protected

Academic year: 2022

Partager "TD de Logique n"

Copied!
2
0
0

Texte intégral

(1)

Université Paris Diderot - Licence 3 Année 2013-2014

TD de Logique n

o

6

Résolution

Exercice 1 Prouver que les règles suivantes sont admissibles dans le système G.

1.

∆`A∨B,Γ

∆`B∨A,Γ

2.

∆`A∧B,Γ

∆`B∧A,Γ

3.

∆`A,Γ ∆`B,Γ ∆, C `Γ

∆, A→B →C `Γ

Exercice 2 Déterminer lesquelles de ces formules sont en forme normale conjonctive (FNC) ou en forme normale disjonctive (FND) :

1. (p∨q)∧(¬p)∧(¬r∨q) 2. (r∧s)∨(p∧ ¬p∧s)∨r 3. (r∨p)∧(¬(p∨r))∧q 4. (p∧q)∨ > ∨(¬r∧s) 5. p∧q∧r

6. (r∧ ¬p)∨(p→q) 7. r∨(¬q)∨p

Exercice 3 Mettre les formules suivantes en FND et FNC. On appliquera dans un premier temps les équivalences, puis on écrira les tables de vérité pour en déduire les deux formes normales.

Comparer les résultats.

1. p→q 2. p∧(q∨r)

3. (¬(p∨q))→(¬p∨ ¬q) 4. (¬(p∧q))→(¬p∨ ¬q)

5. (A faire chez vous)(p→ ¬(q∨r))∧(¬(q∨r)→p)

Exercice 4 Montrer que toute formule est équivalente à une formule en FND et à une formule en FNC.

Exercice 5 Montrer par résolution ou par réfutation les propositions suivantes 1

(2)

1. `p∨ ¬p 2. (p→q),p`q

3. (¬q∨r),(¬p∨q)` ¬p∨r 4. `((p→q)→p)→p Exercice 6 Résolution

1. Proposez un ensemble de clauses∆contenant la lettre propositionnellep et tel qu’il existe un ensemble de clauses ∆0 équivalent à (V

∆)∧ ¬p ne contenant pas la lettrep.

2. Montrer que la résolution est complète pour la réfutation, c’est à dire que si∆est insatis- faisable, alors ∆`R ⊥. On procédera par contraposition, et par récurrence sur le nombre de lettres propositionnelles dans∆.

Exercice 7 Montrez avec la méthode de votre choix que le raisonnement suivant est correct :

• Si on révise bien, on réussit l’examen.

• Si on mange, on révise bien ou on prend du poids.

• On ne prend pas de poids, si on fait du sport ou si on ne mange pas.

• Si on ne fait pas de sport, on réussit l’examen.

• De cela on déduit que si on mange on réussit l’examen.

2

Références

Documents relatifs

La programmation sur ordinateur ou calculatrice programmable d’une grille autoréférente est très simple mais elle enlève tout le plaisir de la recherche manuelle. Elle a pour

La programmation sur ordinateur ou calculatrice programmable d’une grille autoréférente est très simple mais elle enlève tout le plaisir de la recherche manuelle. Elle a pour

Remarquons que, même le langage propositionnel le plus simple, construit sur une seule variable propositionnelle p, comporte une infinité de formules:.. • P,

Les politiciens peuvent tromper certaines personnes tout le temps et peuvent tromper tout le monde de temps en temps, mais ils ne peuvent pas tromper tout le monde tout

Il existe un levrier plus rapide que tous les lapins 3.. Les levriers sont

Démontrer que ce symbole suffit à définir tous les autres. 12 - Montrer que tous les connecteurs de la logique propositionnelle sont définissables à partir des seuls connecteurs: ⇒

POSSEDE (NVH, NPRO, DATE, PRIX) VEHICULE (NVH, TYPE, COULEUR) MODELE (TYPE, PUIS, MARQUE). PERSONNE (NPRO,

L'objectif de notre travail consiste en la conception d'une offre de formation destinée au personnel techniciens et ingénieurs du centre de téléenseignement de