Objectifs

L'objectif du cours est de familiariser l'étudiant(e) avec la logique formelle déductive classique. En particulier, il s'agira d'apprendre diverses méthodes destinées à établir la validité de raisonnements.

Contenu

Les connecteurs logiques, les tables de vérités, la notion de modèle, la déduction naturelle...

Méthode d'évaluation

L'examen est écrit et à cours fermé. Il comprend, pour chaque session, deux brèves questions de théorie (/5) et trois raisonnements dont l'étudiant(e) sera invité(e) à déterminer de la validité (ou de la non-validité) par l'entremise de trois différentes méthodes abordées au cours (3x/5).

Sources, références et supports éventuels

Lucas, T., Berlanger, I, Degauquier, V. (2014). Initiation à la logique formelle. Bruxelles: De Boeck [4ème édition].

Langue d'instruction

Français