Introduction à la logique mathématique/Objectifs

Se familiariser avec la logique appliquée aux mathématiques et 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