Introduction à la logique mathématique et ses principes
EN BREF Présentation de la logique mathématique. Introduction aux connecteurs logiques : ¬, ∧, ∨, ⇒ et ⇔. Description des propositions et de leur valeur : vrai ou faux. Énoncé classique : exemple de raisonnement logique avec Socrate. Distinction entre logique formelle, logique matérielle et logique inductive. Importance des symboles et principes dans les démonstrations ...