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
Oui, tu as raison. C'est la première méthode qu'il faut utiliser.