Acquis d'apprentissage

Au terme de l'unité d'enseignement, l'étudiant(e) aura acquis les bases logiques nécessaires pour évaluer, par différentes méthodes, la validité de raisonnements déductifs formels.

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, une brève question 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'enseignement

Français