Brève description / annotation

Notations mathématiques usuelles. Symboles et variables. Logique propositionnelle/Variables et connecteurs. Logique propositionnelle/Propriétés des connecteurs logiques. Logique propositionnelle/Implication matérielle. Logique propositionnelle/Difficultés linguistiques. Logique du premier ordre et quantification. Démonstration par substitution. Démonstration directe d'une implication. Démonstration d'une alternative. Démonstration par disjonction de cas. Démonstration d'une équivalence par double implication. Résolution d'équations par suite d'équivalences. Résolution d'équations par conditions nécessaires et suffisantes. Démonstration par contraposition. Démonstration par l'absurde. Démonstration par contre-exemple. Démonstration par le principe des tiroirs. Démonstration par récurrence. Axiomatique. Méthode analytique et méthode axiomatique.

Détails