La proposition, le raisonnement, valide et vrai, et la symbolisation — avec exercices interactifs intégrés.
La table de vérité, puis la négation, la conjonction, la disjonction, l’implication et l’équivalence — avec exercices interactifs.
Condition suffisante, nécessaire, nécessaire et suffisante — avec le quiz de transcription et l’exercice sur Goethe.
Symboliser des phrases, puis transcrire des raisonnements — lexique et prémisses, avec vérification immédiate.
La transcription est-elle correcte ? Enchaîner les bonnes réponses pour monter jusqu’au trou noir — des parenthèses à partir de 50, des crochets à partir de 90.
L’ensemble du cours : propositions, opérateurs, tables de vérité et règles de déduction.
Comment tester la validité d’un argument à l’aide d’un arbre de vérité.
Toutes les règles de déduction et lois logiques principales sur une seule fiche.
Deux séries d’exercices pour s’entraîner à la preuve simple et à la transcription.
Les diaporamas utilisés en classe pour les deux volets du module.
Traduire le langage naturel en formules : en logique des propositions et en logique des prédicats.
La transcription dans la logique des propositions.
La transcription dans la logique des prédicats.
Exercices préliminaires de transcription en logique des prédicats.
Corrigé des exercices préliminaires (1–45).
La méthode des arbres appliquée à la logique des propositions et à la logique des prédicats.
Les trois techniques de preuve formelle : preuve simple, preuve conditionnelle et réduction à l’absurde.
Quatre courtes vidéos expliquant pas à pas les points les plus difficiles du module.
Méthode des arbres appliquée à la logique des prédicats, expliquée pas à pas.
Comment construire une réduction à l’absurde, expliqué pas à pas.
Comment construire une preuve conditionnelle, expliqué pas à pas.
Transcriptions en logique des prédicats, expliquées pas à pas.
