-
Logique mathématique 2/4
Cette nouvelle section est consacrée à l’exploration d’autres formes de raisonnements mathématiques qui permettent d’établir ou de réfuter des propriétés.
Nous nous intéresserons particulièrement à deux approches :
- Le raisonnement cas par cas, qui consiste à analyser différentes situations possibles afin de conclure sur l’ensemble des cas ;
- Le raisonnement par contre-exemple, une méthode efficace pour démontrer qu’une affirmation est fausse, en exhibant un seul exemple qui contredit l’énoncé.
À travers des exercices variés, nous apprendrons à reconnaître quand et comment appliquer ces techniques logiques dans une démarche rigoureuse de démonstration.
-
Résumé
-
Objectifs de ce TD
-
Tutorial Sheet 1 – Part 2: Mathematical Logic
-
Fiche td 1 partie 2 "logique mathématique "
-
Solution fiche td 1 partie 2 "logique mathématique "
-
Quantificateur • Négation d'une proposition-video-
-
Glossaire – Logique mathématique et méthodes de raisonnement
-
Chat on Mathematical Logic
-
Forum