Aller au contenu

Introduction à la logique mathématique/Objectifs

Une page de Wikiversité, la communauté pédagogique libre.
Version datée du 24 janvier 2016 à 01:07 par JackBot (discussion | contributions) (remplacement: [[Catégorie:{{BASEPAGENAME}}|{{SUBPAGENAME}}]] → {{AutoCat}} avec AWB)

Se familiariser avec la logique appliquée aux mathématiques. Plus précisément :

  • Connaître les principaux opérateurs et leurs propriétés : NON, ET, OU
  • Comprendre les notions d'implication et d'équivalence
  • Appliquer toutes ces notions à la démonstration mathématique
    • Comment structurer proprement un raisonnement
    • Introduction au raisonnement par l'absurde et à la contraposée