Dans la logique propositionnelle, les relations entre des énoncés atomiques sont étudiées, sans tenir compte de la structure interne de ces énoncés. Le but de ce cours est de présenter certaines notions permettant de décrire en détail des énoncés structurés. Après avoir rappelé les bases de la logique des propositions (syntaxe et sémantique des connecteurs), nous nous intéresserons aux outils de la logique du premier ordre que sont les prédicats, les variables et les quantificateurs. Enfin, nous étudierons différentes approches visant à déterminer la valeur de vérité d’une formule, puis la validité d’un argument.
- Enseignant: Matthieu Gallais