À la fin du module 1.3, l'élève doit faire preuve des compétences suivantes :
-
savoir transcrire un raisonnement dans la logique des proposition ou la logique des prédicats
-
savoir vérifier en logique des propositions ou logique des prédicats la validité d’un raisonnement à l’aide de la méthode des arbres
-
savoir établir une déduction en logique des propositions selon les méthodes suivantes ; preuve formelle simple, preuve conditionnelle ou réduction
à l’absurde
1. Logique des propositions
- Transcriptions (TR)
- Méthode des arbres (MA)
- Déductions :
- Preuve formelle simple (PS)
- Preuve conditionnelle (PC)
- Réduction à l'absurde (RA)
2. Logique des prédicats
- Transcriptions (PTR)
- Méthode des arbres (PM)
N.B. Pour toutes les parties, on ne demandera pas de théorie à l'examen.
Tous les supports de cours se trouvent en ligne.