17250004 - Logique

Licence 2 - Semestre 4 - Année universitaire 2026-27

Enseignant : Julien TRICARD

Titre du cours : Introduction à la logique des propositions

Programme du cours :
Ce cours constitue une introduction complète à la logique propositionnelle. Nous commencerons par justifier l’emploi de la formalisation pour étudier la forme et la validité des arguments. Nous introduirons ensuite le langage de la logique propositionnelle déductive (énoncés atomiques, connecteurs, énoncés complexes), pour montrer comment la notion d’argument valide peut être définie dans ce cadre. Puis nous présenterons la sémantique du langage propositionnel et les tables de vérité. Nous étudierons ensuite, toujours pour la logique propositionnelle, un système de preuves : la déduction naturelle.
Enfin, le cours sera complété par une courte introduction à la logique des prédicats de premier ordre (quantificateurs et interprétation).

Le cours sera accompagné par des TD, où les notions vues en cours seront appliquées à des exercices de logique, qui constitueront la forme de l’épreuve finale de validation.

CM : Terminal écrit (TE) : 4h
TD : Contr?le continu (CC)

Crédits ECTS : 4