À la limite de la philosophie, la logique est une branche fondamentale des mathématiques qui permet d'établir la valeur de vérité de propositions et de construire des raisonnements mathématiques convenables selon la situation étudier des des démonstrations mathématiques claires et logiquement correctes.

Le thème "Notion de logique" est à traiter tout au long de la formation et ne constitue pas un module en soi.