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

Démonstration logique

  1. #1
    messiLaPulga

    Démonstration logique

    Bonjour,
    Je cherche à démontrer une formule logique assez instinctive qui est la suivante :

    On admet : C -> (A \/ B)
    Démontrons alors : (C -> A) \/ (C -> B)

    Je dois utiliser pour cela les formules de déduction naturelle.
    Ca fait maintenant un bout de temps que je m'y casse les dents, c'est pour cela que je sollicite votre aide et votre talent.
    Merci d'avance.

    -----


  2. #2
    minushabens

    Re : Démonstration logique

    peut-être utiliser le fait que C' = C' ou C' (si C' est la négation de C)

Discussions similaires

  1. Quelles sont les divergences entre la logique classique et la logique quantique ?
    Par Mihal-Genie_du_monde dans le forum Débats scientifiques
    Réponses: 3
    Dernier message: 27/02/2016, 06h55
  2. Démonstration logique
    Par lajoiedesmaths dans le forum Mathématiques du supérieur
    Réponses: 11
    Dernier message: 15/11/2014, 23h29
  3. la logique des etres bete et la logique des etre intelients Paradoxe?
    Par extrazlove dans le forum Epistémologie et Logique
    Réponses: 0
    Dernier message: 28/06/2013, 16h12
  4. Logique pour démonstration
    Par Ergan dans le forum Mathématiques du collège et du lycée
    Réponses: 5
    Dernier message: 29/03/2011, 19h55
  5. 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