Raisonner logiquement est essentiel en mathématiques. Cette fiche propose de manipuler certains concepts fondamentaux de la logique. Ce formalisme logique est probablement nouveau pour des élèves du lycée, mais les concepts sous-jacents devraient (pour partie au moins) être familiers. Et les étudier formellement aide certainement à mieux les comprendre !