Répondre à la discussion
Affichage des résultats 1 à 6 sur 6

Calcul propositionnel



  1. #1
    striker13

    Calcul propositionnel


    ------

    Bonjour j'aurais besoin d'aide concernant deux exercices dont je vous met l'énoncé :

    1) Les formules suivantes sont-elles des tautologies ?
    a) A->((A->B)->B)
    b) A-> -A - pour non A
    f)(A->B)->[((A^B)v-A)->(A->B)]

    2) Donner si possible pour chacune des propositions suivantes une valutation (distribution de vérité) v qui valide la proposition, une qui invalide la proposition.

    a)(B^(A->B))->A
    c)(-A^-B)->(AvB)
    f)(A->B)->((C->B)->(A->(C->B)))


    Pour l'exercice 1 je pense avoir trouver les bonnes réponses en posant les tables de vérité pour chaque propositions.

    a) tautologique
    b)non tautologique
    c) tautologique

    Par contre pour le 2) je ne vois pas comment faire je pense qu'il faut dresser les tables de vérités mais comment à partir de la table de vérité d'une proposirion trouver une valutation qui valide est une qui invalide ?

    Merci par avance pour vos réponses.

    -----

  2. #2
    fderwelt

    Re : Calcul propositionnel

    Bonjour,

    Je pense que pour le (2) il faut trouver des valeurs de A et B qui rendent la proposition vraie ou fausse respectivement. Par exemple avec
    Code:
    F(A,B) := ((B & (A=>B)) => A)
    on a
    Code:
    F(vrai,vrai) = vrai
    F(faux,vrai) = faux
    -- françois
    Les optimistes croient que ce monde est le meilleur possible. Les pessimistes savent que c'est vrai.

  3. #3
    striker13

    Re : Calcul propositionnel

    merci pour votre aide mais en ce qui concerne le 2)c) j'ai essayé les 4 possibilités mais la proposition est toujours valide :
    F(vrai,vrai) = vrai
    F(faux,vrai) = vrai
    F(vrai,faux) = vrai
    F(faux,faux) = vrai

    à moins que j'ai fais une erreur ?

  4. #4
    fderwelt

    Re : Calcul propositionnel

    En effet, il y a une erreur sur le 2c. On a F(faux,faux) = faux (c'est d'ailleurs le seul cas).
    Et ça se comprend assez bien. La proposition (~A & ~B) => (A v B) se lit "(ni A ni B) implique (A ou B)". Si donc le premier terme est faux la proposition est vraie (puisque faux => n'importe quoi). Cela se prodiut dès que A ou B est vrai.
    Si par contre le premier terme est vrai (càd si A = B = faux) il faudrait que le deuxième terme (A ou B) soit vrai pour que la proposition soit vraie, et évidemment ça ne marche pas.

    -- françois
    Les optimistes croient que ce monde est le meilleur possible. Les pessimistes savent que c'est vrai.

  5. A voir en vidéo sur Futura
  6. #5
    striker13

    Re : Calcul propositionnel

    merci encore je comprend mieux avec votre explication je pensait peut-être avoir fait une erreur mais ce n'est pas le cas , je vais donc essayer de faire la question manquante
    cordialement.

  7. #6
    striker13

    Re : Calcul propositionnel

    oups désolé j'avais mal percu l'explication j'ai bien fait une erreur

Discussions similaires

  1. Calcul
    Par pegarose dans le forum Chimie
    Réponses: 1
    Dernier message: 27/10/2007, 21h57
  2. Calcul de Rf
    Par Spouk' dans le forum Chimie
    Réponses: 5
    Dernier message: 22/10/2007, 11h08
  3. Calcule propositionnel
    Par abdou_inf dans le forum Mathématiques du supérieur
    Réponses: 0
    Dernier message: 17/05/2007, 10h51
  4. calcul débit erreur de calcul ou de formule
    Par valent dans le forum Physique
    Réponses: 13
    Dernier message: 06/07/2006, 08h58
  5. Calcul
    Par tybo dans le forum Discussions scientifiques
    Réponses: 3
    Dernier message: 06/09/2004, 13h54