- 2 crédits
- 15h
- 1er quadrimestre
Langue d'enseignement: FrançaisEnseignant: Sartenaer Olivier
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.
La formalisation, les connecteurs logiques, les tables de vérités, la notion de modèle, la déduction naturelle...
Il s'agit d'un cours magistral laissant une place prépondérante à la réalisation d'exercices.
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.
Lucas, T., Berlanger, I, Degauquier, V. (2014). Initiation à la logique formelle. Bruxelles: De Boeck [4ème édition].