Forum général pour le cours

Exercice 4 Logique Descriptive Exam 2017

Exercice 4 Logique Descriptive Exam 2017

par Paul Michelon,
Nombre de réponses : 1
Bonjour,

On demande dans l'exercice 4 d'expliquer comment on peut faire des déductions.
Je vois deux réponses possibles (prenons l'exemple de Personne(Michel)) :

Soit on ajoute NON(Personne(Michel)) et on montre son insatisfaisabilité;

Soit on utilise les règles d'expansion de la logique descriptive et on déduit directement Personne(Michel).

Il me semble que la seconde méthode n'est pas autorisée. Peut-on me le confirmer ?

Cordialement
En réponse à Paul Michelon

Re: Exercice 4 Logique Descriptive Exam 2017

par Michel Gagnon,

Oui, tu as raison. C'est la première méthode qu'il faut utiliser.