Propositions : Comprendre ce qu'est une proposition, les types de propositions (simples, composées), et leur vérité ou fausseté.

Connecteurs logiques : Les opérateurs logiques comme la négation, la conjonction (ET), la disjonction (OU), l'implication, et l'équivalence.

Tables de vérité : Savoir construire et interpréter des tables de vérité pour évaluer les propositions logiques.

Quantificateurs : Les quantificateurs universel (∀) et existentiel (∃) et leur utilisation dans les propositions.

Savoir choisir la bonne démarche de raisonnement.