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

[Logique] Implication mathématique



  1. #1
    Bleyblue

    [Logique] Implication mathématique


    ------

    Bonjour,

    La tantôt au cours de math, le professeur a dit :

    Citation Envoyé par Professeur Doignon
    Lorsqu'une formule logique A -> B est une tautologie alors on dit que A implique mathématiquement B. Ce sera noté A B

    Voici un énoncé :

    Faisons l'hypothèse que la terre est sphérique

    18) La terre est sphérique et 3=4
    19) 3=4 ou la terre est sphérique

    Vérifier que l'on a bien 18 => 19
    Moi je ferais cela :

    La terre est sphérique par suppostion, donc c'est VRAI
    3 est différent de 4 donc c'est FAUX

    et donc :



    FAUX -> VRAI ce qui donne le résultat VRAI (table de vérité)

    Donc c'est bon la formule est toujours vraie et il s'agit bien d'une implication mathématique.

    Pensez vous que ce soit juste ?

    merci

    -----
    Dernière modification par Bleyblue ; 23/09/2005 à 18h32. Motif: Code Latex défectueux ...

  2. #2
    Moma

    Re : [Logique] Implication mathématique

    Salut,

    je pense en effet que c'est juste. Le noeud de l'affaire est que (Faux implique Vrai) est vrai....


    Amicalement
    Moma

  3. #3
    Bleyblue

    Re : [Logique] Implication mathématique

    Ah ok.

    merci bien

  4. #4
    GuYem

    Re : [Logique] Implication mathématique

    Citation Envoyé par Moma
    Salut,

    je pense en effet que c'est juste. Le noeud de l'affaire est que (Faux implique Vrai) est vrai....


    Amicalement
    Moma
    C'est juste en effet. A noter qu'on a également (faux => faux) est vraie.
    En gros le faux implique n'importe quoi. Exemple : l'énoncé suivant est mathématiquement correct :

    "Mon vieux Beyblue, si toi t'es napoléon alors moi je suis Charlemagne!"
    Bravo jolie Ln, tu as trouvé : l'armée de l'air c'est là où on peut te tenir par la main.

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

    Re : [Logique] Implication mathématique

    Oui et on a aussi (vrai -> faux) = faux et (faux -> vrai) = vrai.
    Je ne comprend pas vraiment pourquoi µ

    merci

  7. #6
    GuYem

    Re : [Logique] Implication mathématique

    Pour comprendre pourquoi, figure toi que (A=>B) a la même table de vérité que (nonA ou B).

    Du coup la négation de (A=>B) est (A et nonB), ce qui , quand on y pense est loin d'être insensé.
    Bravo jolie Ln, tu as trouvé : l'armée de l'air c'est là où on peut te tenir par la main.

  8. #7
    Bleyblue

    Re : [Logique] Implication mathématique

    ah bon.

    merci

  9. #8
    Titania

    Re : [Logique] Implication mathématique

    Il faut toujours prendre du recul quand on raisonne avec de la logique formalisée. En effet, la logique que l'on utilise dans la vie courante est différente de la logique construite rigoureusement en maths. Par exemple, vous vous voyez à la maternité répondre "oui" à la question "c'est un garçon ou une fille"....
    Ainsi, certaines tables de vérité, notamment celle de l'implication ne sont pas très intuitives.
    Sinon, je suis d'accord avec vous sur la résolution de l'exercice.

    Bonne après-midi

    Titania

Discussions similaires

  1. Logique Système - Logique Causale - Implications Cosmologiques
    Par Mumyo dans le forum Epistémologie et Logique (archives)
    Réponses: 6
    Dernier message: 06/11/2007, 12h57
  2. Logique flou en mathématique
    Par young077 dans le forum Mathématiques du supérieur
    Réponses: 9
    Dernier message: 21/04/2007, 01h50
  3. Logique et mathématique du Coran et de la Bible
    Par mutante dans le forum Epistémologie et Logique (archives)
    Réponses: 1
    Dernier message: 01/03/2006, 16h54
  4. problème logique implication/injection
    Par Vladzol dans le forum Mathématiques du supérieur
    Réponses: 14
    Dernier message: 07/02/2006, 18h03
  5. Logique mathématique et Dieu
    Par bel23 dans le forum Epistémologie et Logique (archives)
    Réponses: 109
    Dernier message: 31/01/2006, 20h21