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

Correction d'un exercice de logique mathématique




  1. #1
    Loosgin

    Correction d'un exercice de logique mathématique

    Salutation à tous,


    Pouvez-vous me dire si ma réponse à cet énoncé (présenté ci-dessous) est juste ?

    Tout d'abord, voici un exercice extrait du site Exo7 ( http://exo7.emath.fr/ficpdf/fic00002.pdf ) : Soit nombres premiers. Montrer que l'entier n'est divisible par aucun des entiers .

    Je ne peux pas comparer avec leur correction car ils ont utilisé la contraposé alors que moi : l'absurde (enfin je le suppose).

    L'entier N est divisible par si . On a alors ; or . Par conséquent .

    C'est bien un raisonnement par l'absurde ?

    -----


  2. Publicité
  3. #2
    gg0

    Re : Correction d'un exercice de logique mathématique

    Heu ... tu as prouvé (n divisible) ==> faux ce qui est une définition de non(n divisible).
    Je ne sais pas comment est défini un raisonnement par l'absurde dans ton cours, si c'est ainsi, c'est bien un raisonnement par l'absurde (les logiciens appellent autre chose un raisonnement par l'absurde).

    Cordialement.

  4. #3
    gg0

    Re : Correction d'un exercice de logique mathématique

    Voir Wikipédia, partie "En mathématiques et en logique".


  5. #4
    Loosgin

    Re : Correction d'un exercice de logique mathématique

    Merci pour ta réactivité.

    Sinon si tu cliques sur le pdf, tu as la correction de l'exercice 14. Mais eux, ils utilisent la contraposée (non b => non a pour démontrer cette assertion : a => b).

Sur le même thème :

Discussions similaires

  1. Logique mathematique
    Par hass hass dans le forum Mathématiques du collège et du lycée
    Réponses: 20
    Dernier message: 08/10/2017, 15h48
  2. Logique mathématique
    Par tulipe96 dans le forum Mathématiques du supérieur
    Réponses: 5
    Dernier message: 18/12/2015, 20h07
  3. la logique mathematique est elle une logique scientifique?
    Par solo109 dans le forum Mathématiques du supérieur
    Réponses: 6
    Dernier message: 17/11/2012, 13h11
  4. logique mathematique
    Par meedio dans le forum Mathématiques du supérieur
    Réponses: 1
    Dernier message: 09/03/2009, 15h07
  5. [Logique] Implication mathématique
    Par Bleyblue dans le forum Mathématiques du supérieur
    Réponses: 7
    Dernier message: 24/09/2005, 16h28