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éthodes d'enseignement

Il s'agit d'un cours magistral laissant une place prépondérante à la réalisation d'exercices.

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