De tout temps les penseurs ont cherchés à s'assurer que leurs raisonnements, quel qu'en soit le sujet, ne comportaient pas de faille qui les fassent aboutir à un résultat inexact. Le besoin s'est rapidement fait sentir d'outils fiables sur lesquels la pensée puisse s'appuyer pour manipuler des concepts et enchaîner des déductions.
Ce corpus commence par définir ce qui différencie une proposition vraie d'une proposition fausse puis donne les applications de la logique propositionnelle. Il présente ensuite les notions de prédicats et quantificateurs puis les règles de déduction (règles de substitution) qui sont des modèles pour construire des arguments valides avant de passer en revue les différents types de preuve. Le but de ce corpus est donc : apprendre la logique et apprendre à raisonner.
Vous y trouverez des activités :
Apprendre comprenant un module de [Cours] lequel comprend :
- Une partie [Notions de base].
- Éventuellement une partie [Pour aller plus loin] qui concerne principalement ceux qui veulent approfondir les notions.
S'exercer comprenant :
- Éventuellement le module [Comprendre le cours avec solutions] permettant d'appliquer les notions de [Cours] avec des exercices auto-évaluées et des exercices détaillés.
- Les modules [Exercices] et [Exercices avec solutions]. Le lecteur ne doit pas hésiter à consacrer du temps à un travail personnel de recherche en s'appuyant sur le cours et les aides successives proposées dans les exercices. Il doit ensuite rédiger avec soin ses travaux et les comparer avec les solutions proposées.
S'évaluer comprenant des exercices d'auto-évaluation permettant de vous évaluer et de vous positionner dans votre apprentissage : [N12] concernant la partie [Notions de base] avec des exercices taggés de niveau 1 et 2 ainsi qu'éventuellement [N34] concernant la partie [Pour aller plus loin] et/ou des exercices de niveau 3 et 4 de la partie [Notions de base].
- Le système tire au hasard un certain nombre de questions.
- La note minimale de validation (sur 10) est indiquée pour chaque test.
Évaluation finale termine le module. Attention! vous n'avez droit qu'à une seule tentative.