MAT-5112-1 – Logique

L’objectif de ce cours est l’étude du raisonnement en langage mathématique. Dans ce cours, l’apprenant apprendra à utiliser les quantificateurs logiques et à dresser des tables de vérité. Il sera aussi appelé à se pencher sur les notions d’implication logique et d’équivalence logique. Il aura à étudier les notions de quantificateur existentiel et de quantificateur universel. Enfin, il devra établir la négation d’une forme propositionnelle composée et calculer la valeur d’une forme propositionnelle composée.

Durée : 25 heures (1 unité)

Contenu

• Proposition et opérateurs logiques;

• Valeur de vérité d’une proposition composée;

• Tautologie, contradiction et implication logique;

• Équivalence logique;

• Négation d’une proposition composée;

• Propositions, formes propositionnelles et ensemble-solution d’une forme propositionnelle;

• Valeur de vérité d’une forme propositionnelle quantifiée.

Évaluation

Un examen ministériel dans un centre d’éducation des adultes.

Seuil de réussite de l’évaluation pour fin de sanction : 60 %