Discussion :

[fab74]

Bonjour ,

J'ai fait 4 exercices sur les déductions naturelles mais je ne suis pas sur qu'ils soient juste car j'ai eu beaucoup de mal à comprendre cette partie de mon cours de logique.

Ce serait vraiment sympa si quelqu'un pouvait me dire si ils sont justes et si besoin me corriger avant que j'aille plus loin dans mon cours.

Merci d' avance

Exercices :

[Flodelarab]

Bonjour

Je ne comprends ni ce qui est écrit, ni l'intérêt des déductions naturelles par rapport à la "logique classique".

[fab74]

Bonjour ,

C’est ce que j’ai dans mon cours.
Il s’agit de dériver d’une solution à une autre en décomposant les éléments qui les composes soit en éléminant soit en introduisant . C’est ce que j’ai compris .
Après l’intérêt , je ne sais pas .
Il existe plusieurs possibilités de représentation mais c’est celle-ci qui m’ est demandée (en potence).
Merci

[Flodelarab]

Ahhh, je commence à comprendre.
Je ne peux pas dire si c'est juste, mais on peut vérifier la cohérence.

Exercice 1, rien à dire.

Exercice 2 A ligne 11:

• L'indentation n'est-elle pas un cran plus à gauche ?
• La ligne 1 n'intervient pas dans la conclusion de la ligne 11.
  D'ailleurs, on se rend compte, à cette occasion, que ce raisonnement décortiqué n'utilise jamais la ligne 1.
  Problème à corriger.
  C'est bien parce qu'on a ~p v ~q, au début, que les -| apparaissent plus tard.

Exercice 2 B ligne 1:
Le point de départ est l'inverse de l'énoncé Problème.
Exercice 2 B ligne 3:
D'ailleurs, supposer ~p provoque la véracité de ~p v ~q. Pas besoin d'antécédent.
Il faudrait que tu trouves, dans ton cours, l'équivalent de E∧2, qui permet de déduire p de p∧q, pour le v, afin de déduire de p que p v q est vrai.