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

Mathématiques Discussion :

logique des prédicats


Sujet :

Mathématiques

  1. #1
    Membre du Club Avatar de colocolo
    Inscrit en
    Février 2007
    Messages
    166
    Détails du profil
    Informations forums :
    Inscription : Février 2007
    Messages : 166
    Points : 61
    Points
    61
    Par défaut logique des prédicats
    salut ;

    est ce qu'il y a des règles pour traduire une phrase(ou énoncé) en langage
    naturel.
    ex:
    tout homme est mortel
    en logique des prédicats.

    merci

  2. #2
    Rédacteur/Modérateur

    Avatar de gorgonite
    Homme Profil pro
    Ingénieur d'études
    Inscrit en
    Décembre 2005
    Messages
    10 322
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Âge : 39
    Localisation : France

    Informations professionnelles :
    Activité : Ingénieur d'études
    Secteur : Transports

    Informations forums :
    Inscription : Décembre 2005
    Messages : 10 322
    Points : 18 679
    Points
    18 679
    Evitez les MP pour les questions techniques... il y a des forums
    Contributions sur DVP : Mes Tutos | Mon Blog

  3. #3
    Rédacteur
    Avatar de Zavonen
    Profil pro
    Inscrit en
    Novembre 2006
    Messages
    1 772
    Détails du profil
    Informations personnelles :
    Âge : 76
    Localisation : France

    Informations forums :
    Inscription : Novembre 2006
    Messages : 1 772
    Points : 1 913
    Points
    1 913
    Par défaut
    homme(X) :- mortel(X)
    Curieux ...
    'A la prolog' je l'aurais écrit dans l'autre sens.
    Ce qu'on trouve est plus important que ce qu'on cherche.
    Maths de base pour les nuls (et les autres...)

  4. #4
    Membre actif
    Inscrit en
    Mars 2008
    Messages
    209
    Détails du profil
    Informations forums :
    Inscription : Mars 2008
    Messages : 209
    Points : 227
    Points
    227
    Par défaut
    Ben tout simplement :quelque soit x ; P(x)
    ou P(x) est le prédicat " x est mortel "

  5. #5
    Membre expert
    Avatar de TheLeadingEdge
    Inscrit en
    Mai 2005
    Messages
    1 199
    Détails du profil
    Informations forums :
    Inscription : Mai 2005
    Messages : 1 199
    Points : 3 103
    Points
    3 103
    Par défaut
    quelque soit x ; P(x)
    ou P(x) est le prédicat " x est mortel "
    C'est bien vu pour le quantificateur.
    Mais ensuite tu dis que tout x est mortel. Pas que tt homme est mortel. Il manque l'implication.
    (x)[H(x)-->M(x)]

    est ce qu'il y a des règles pour traduire une phrase(ou énoncé) en langage naturel en logique des prédicats.
    Frege. (Bon courage )

  6. #6
    Membre actif
    Inscrit en
    Mars 2008
    Messages
    209
    Détails du profil
    Informations forums :
    Inscription : Mars 2008
    Messages : 209
    Points : 227
    Points
    227
    Par défaut
    Citation Envoyé par TheLeadingEdge Voir le message
    C'est bien vu pour le quantificateur.
    Mais ensuite tu dis que tout x est mortel. Pas que tt homme est mortel. Il manque l'implication.
    Ben non !!! il suffit juste de prendre le support de x comme étant l'ensemble des humains ... si on prend le support comme tout objet quelconque on aura effectivement l'implication .

Discussions similaires

  1. Logique des prédicats / LPO
    Par Jb-Natural13 dans le forum Prolog
    Réponses: 0
    Dernier message: 25/03/2009, 00h04
  2. Logique des prédicats
    Par acacia dans le forum Mathématiques
    Réponses: 9
    Dernier message: 04/02/2008, 20h17
  3. Logique des prédicats
    Par martoune dans le forum Prolog
    Réponses: 15
    Dernier message: 17/05/2007, 16h25
  4. Définir des prédicats
    Par Xiao-An dans le forum Prolog
    Réponses: 4
    Dernier message: 03/09/2006, 23h51
  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, 17h56

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