Logique (mathématiques)/Objectifs

Comprendre les problématiques de la formalisation, de déduction, et de vérité
Savoir distinguer les logiques les plus courantes et leurs caractéristiques
Connaitre ses applications en mathématique, philosophie, linguistique et informatique