Déduction naturelle - valide ou pas ?
Bonjour
Je commence à étudier la logique Calcul en logique du premier ordre d'Yves Bouchard.
J'essaie de résoudre des exercices. J'ai trouvé des solutions différentes pour quelques exos de déduction naturelle.
Y a-t-il quelqu'un d'assez bon pour me dire si mes deux déductions en pièces jointes sont valides (même s'il existe pour le premier exo une solution plus courte) ?
Merci d'avance.
Je commence à étudier la logique Calcul en logique du premier ordre d'Yves Bouchard.
J'essaie de résoudre des exercices. J'ai trouvé des solutions différentes pour quelques exos de déduction naturelle.
Y a-t-il quelqu'un d'assez bon pour me dire si mes deux déductions en pièces jointes sont valides (même s'il existe pour le premier exo une solution plus courte) ?
Merci d'avance.
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
Cela m'intéresse d'avoir des avis. Je sais qu'en déduction naturelle, il y a plusieurs routes possibles pour une conclusion.
A Christophe C.
Pour la première, il fallait démontrer que de la négation de la conjonction p et q, on peut dériver (non-p ou non-q).