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

Logique pour démonstration



  1. #1
    Ergan

    Logique pour démonstration

    Bonjours j'aurais voulu savoir si un raisonnement de ce type est valable :
    On cherche à démontrer que A=B
    On suppose A=B : A=B <=> ... <=> (Un truc toujours vrai) , donc A=B

    Ce type de raisonnement est bien juste ? J'ai un gros doute ^^

    -----


  2. Publicité
  3. #2
    KeM

    Re : Logique pour démonstration

    Dans la mesure où tu peux remonter toutes les équivalences oui, par exemple montrer que A=B <=> 0=0, revient à dire que la propriété est vraie puisque 0=0 est vraie.

  4. #3
    nissousspou

    Re : Logique pour démonstration

    Du genre, je suppose 2=1 <=> 2-1=0 <=> 2=0+1<=>2=1 donc 2=1?

  5. #4
    Ergan

    Re : Logique pour démonstration

    Non pas de ce genre là Nissousspou ^^, mais merci vous m'enlevez un doute terrible =)

  6. #5
    blablatitude

    Re : Logique pour démonstration

    Salut,

    cela s'appelle tout bêtement un raisonnement par équivalence et c'est strictement juste !

    (bien que très peu esthétique en mon sens)

    mais ça marche !

    ciao

  7. A voir en vidéo sur Futura
  8. #6
    blablatitude

    Re : Logique pour démonstration

    salut

    tu remarqueras que 6!=6*5*4*3*2*1 et que 4!=4*3*2*1 donc que se passe-t-il si tu disises l'un par l'autre ?


    ciao

    [édit] (oups bug de forum dsl)

  9. Publicité

Sur le même thème :

Discussions similaires

  1. Analyseur logique pour PC?
    Par chris51200 dans le forum Électronique
    Réponses: 9
    Dernier message: 05/12/2010, 10h06
  2. aide pour circuit logique
    Par roger44 dans le forum Électronique
    Réponses: 2
    Dernier message: 29/05/2010, 20h08
  3. Logique Système - Logique Causale - Implications Cosmologiques
    Par Mumyo dans le forum Epistémologie et Logique
    Réponses: 6
    Dernier message: 06/11/2007, 11h57
  4. Démonstration du théorème du consensus en logique combinatoire
    Par totoc1001 dans le forum Électronique
    Réponses: 3
    Dernier message: 04/04/2007, 09h50
  5. La logique et l'informatique pour débutants...
    Par mort_khan/Triskaël dans le forum Science ludique : la science en s'amusant
    Réponses: 0
    Dernier message: 10/08/2005, 23h38