Présente la logique des propositions et la logique des prédicats du premier ordre : exemples de base abordés de façon informelle, présentation du langage formel, présentation de sa sémantique, définition de forme correcte du raisonnement, études de propriétés fondamentales, méthode des contre-exemples et méthode de déduction naturelle. S'adresse aux étudiants des sciences humaines et économiques.