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

La formalisation, 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'évaluation est orale mais précédée d'un moment de préparation écrite. L'étudiant(e) est invité(e) à répondre à une question de théorie et à résoudre un exercice.

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