Vous apprendrez à reconnaître les différents types d’énoncés logiques, à dresser la table de vérité d’une proposition composée et à en simplifier la négation. Vous déterminerez l’ensemble-solution d’une forme propositionnelle et la valeur de vérité d’une forme propositionnelle quantifiée.