A la fin de cette section l'apprenant devrait être capable de :  

1. Comprendre les notions de base des propositions :

   - Identifier et définir ce qu'est une proposition logique.

   - Distinguer les propositions simples et composées.

2. Maîtriser l'utilisation des connecteurs logiques :

   - Utiliser correctement les connecteurs logiques « et » (conjonction), « ou » (disjonction), et « non » (négation).

   - Comprendre les connecteurs « implication » et « équivalence logique ».

3. Savoir construire et interpréter les tables de vérité :

   - Construire des tables de vérité pour différentes combinaisons de propositions et de connecteurs.

   - Déterminer la validité d'une proposition à partir de sa table de vérité.

4. Manipuler les lois logiques fondamentales :

   - Appliquer les lois de De Morgan et les lois d'associativité, de distributivité, et de commutativité dans le cadre des propositions.

   - Simplifier des propositions à l'aide des lois logiques.

5. Comprendre la notion d’implication logique :

   - Distinguer entre une implication directe, sa contraposée, sa réciproque, et sa négation.

   - Savoir démontrer des implications à l’aide de tables de vérité.

6. Maîtriser les équivalences logiques :

   - Reconnaître les équivalences logiques entre différentes propositions.

   - Utiliser les équivalences pour transformer et simplifier des expressions logiques.

7. Appliquer les concepts en résolution de problèmes logiques :

   - Résoudre des problèmes en logique propositionnelle à l’aide des connecteurs et des lois logiques.

   - Formuler des démonstrations logiques rigoureuses en utilisant les outils du calcul propositionnel.