IdentifiantMot de passe
Loading...
Mot de passe oublié ?Je m'inscris ! (gratuit)
Navigation

Inscrivez-vous gratuitement
pour pouvoir participer, suivre les réponses en temps réel, voter pour les messages, poser vos propres questions et recevoir la newsletter

Prolog Discussion :

Logique des prédicats / LPO


Sujet :

Prolog

  1. #1
    Candidat au Club
    Profil pro
    Inscrit en
    Mars 2009
    Messages
    3
    Détails du profil
    Informations personnelles :
    Localisation : France

    Informations forums :
    Inscription : Mars 2009
    Messages : 3
    Points : 4
    Points
    4
    Par défaut Logique des prédicats / LPO
    Bonsoir,

    Je suis un peu désespéré, 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
    Images attachées Images attachées  

Discussions similaires

  1. logique des prédicats
    Par colocolo dans le forum Mathématiques
    Réponses: 5
    Dernier message: 28/05/2009, 02h05
  2. Logique des prédicats
    Par acacia dans le forum Mathématiques
    Réponses: 9
    Dernier message: 04/02/2008, 21h17
  3. Logique des prédicats
    Par martoune dans le forum Prolog
    Réponses: 15
    Dernier message: 17/05/2007, 17h25
  4. Définir des prédicats
    Par Xiao-An dans le forum Prolog
    Réponses: 4
    Dernier message: 04/09/2006, 00h51
  5. Afficher le nom logique des cartes réseaux en VB?
    Par unarcher dans le forum VB 6 et antérieur
    Réponses: 3
    Dernier message: 20/10/2005, 18h56

Partager

Partager
  • Envoyer la discussion sur Viadeo
  • Envoyer la discussion sur Twitter
  • Envoyer la discussion sur Google
  • Envoyer la discussion sur Facebook
  • Envoyer la discussion sur Digg
  • Envoyer la discussion sur Delicious
  • Envoyer la discussion sur MySpace
  • Envoyer la discussion sur Yahoo