• Aucun résultat trouvé

Exercices 6 : La déduction naturelle

N/A
N/A
Protected

Academic year: 2022

Partager "Exercices 6 : La déduction naturelle"

Copied!
1
0
0

Texte intégral

(1)

Exercices 6 : La déduction naturelle

cours d’introduction à la logique, UniL, Philipp Blum à rendre le mercredi 3 avril 2019, avant 8h30

Nom(s) :

Points obtenus (dans 2 questions avec un total de 20 points) :

1. (16 points) Démontrez les séquents suivants en utilisant les règles d’inférence de la déduction naturelle :

(a) «(p∨ ¬q)→p , ¬p⊢ ¬p∧q» (b) «p→(q→r)⊢(p∧q)→r» (c) «⊢p∨ ¬p»

(d) «p∨q , p→r , q→r⊢r∨s» (e) «p→(q→r)⊢(p→q)→(p→r)»

(f) «p⊢(¬(q→r)→ ¬p)→(¬r→ ¬q)» (g) «(p→q)∧(p→r)⊢p→(q∧r)» (h) «(p→r)∧(q→r)⊢(p∨q)→r»

(i) «¬p→p⊢p» (j) «p∨q⊢q∨p» (k) «p→q , ¬p→q⊢q»

(l) «p∧q , q →r⊢r∨s» (m) «¬¬p , p→q⊢q»

(n) «¬(p→q)⊢p→ ¬q» (o) «q→r⊢(p∨q)→(p∨r)» (p) «p∨q⊢(p→q)→q»

2. (4 points) A l’aide de la méthode des arbres, déterminez si les phrases suivantes peuvent être prouvées :

(a) «(p∧q∧((q∧p)→r))→(q→r)» (b) «(p→q)↔(¬p∨q)»

(c) «((p(p∧q))∧p)→q»

(d) «((p∨r)∧(q→r)∧(p→q))→(p↔q)»

1

Références

Documents relatifs

[r]

(À faire chez vous) Transformez cette dérivation en une dérivation dans le système H prop.. (À faire chez vous) Montrez l'équivalence des systèmes DN prop et H prop

[r]

Si ∆ ` A est dérivable dans le système DN prop , alors pour toute formule B, ∆, B ` A l’est aussi (et la hauteur de l’arbre de dérivation ne change pas)1. Nous allons

[r]

On se propose maintenant de donner une preuve formelle en déduction naturelle sans raisonnement par l’absurde de l’énoncé précédent.. Les seules règles autorisées sont donc

La déduction naturelle avec plusieurs formules à droite apparaît donc comme une preuve de déduction naturelle avec règle ⊥ c dans laquelle on a fixé l’interprétation des

Pour simplifier la présentation du système de déduction naturelle nous n’utiliserons que les connecteurs N, M et + mais il est bien évident que nous pourrions aussi