Théorie > Fondements > Logique

Prérequis

Résumé

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.

Ce chapitre a été écrit par B. Legat et mis en ligne le 8 décembre 2014.