Séance de cours
Cette séance de cours introduit le concept de propositions, les connexions logiques comme la négation, la conjonction et la disjonction, les tables de vérité et le langage de la logique propositionnelle. Il couvre la construction de propositions composées et l'utilisation de propositions atomiques.