Théorie > Fondements > Logique

Prérequis


Introduction

La logique mathématique est, comme son nom l'indique, destinée à explorer les applications de la logique (au sens courant) aux mathématiques. Il s'agit d'un sujet très vaste et nous en présentons quelques rudiments. Une bonne compréhension de ce chapitre permet de fournir des preuves rigoureuses et bien construites, tout à fait correctes d'un point de vue logique. Donner une liste d'arguments connectés dans un ordre adéquat est un art que la logique mathématique permet en effet de maîtriser.