Bonsoir,
Je suis un peu désespéré:cry:, je n'arrive pas à comprendre comment faire un arbre (méthode des tableaux) pour démontrer des inférences.
J'arrive à faire un arbre pour vérifier de la logique propositionnelle, mais pas pour la logique des predicats (ou logique du premier ordre).
Quelqu'un aurait il un exemple d'arbre de logique des predicats?
Voici le type d'exercice que j'éssaie de faire (PJ).
Cordialement,
JB
