Contenus

·        Variables propositionnelles

·        Prédicats

·        Quantificateurs universels et existentiel

·        Négation des quantificateurs

·        Méthodes de démonstration

·        Démonstration directe

·        Démonstration par contraposée

·        Démonstration par contradiction

·        Principe de récurrence

Objectifs pédagogiques

À la fin de cette semaine, l'étudiant devra être capable de :

·        Utiliser correctement les quantificateurs ;

·        Traduire des énoncés en logique des prédicats ;

·        Choisir la méthode de démonstration adaptée à un problème ;

·        Construire une démonstration mathématique rigoureuse.