Ce cours est le deuxième d'une série de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités. Il présente un ensemble de règles de déduction sur les connecteurs logiques permettant de prouver des formules
Mot(s) clés libre(s) : langage logique, représentation des preuves, axiome, règle d'affaiblissement, connecteur, logique classique, raisonnement par l'absurde

Ensemble de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités. Cours 1 : Langages logiques Cours 2 : Règles de déduction sur les connecteurs Cours 3 : Interprétation : fonctions, prédicats et connecteurs Cours 4 : Règles de déduction sur les quantificateurs Cours 5 : Interprétation : variables et quantificateurs
Mot(s) clés libre(s) : langage logique, langage formel, langage de termes, formule atomique, quantificateur, règle de déduction, connecteur, interprétation d'une formule, expression booléenne