Il s'agit d'abord de revenir sur les fondamentaux de la logique mathématique pour ensuite s'exercer à quelques types de raisonnement. Cette année l'accent sera mis sur la déduction naturelle.