Domaine Mathématique
Logique & Raisonnement
L'art de penser juste
La base de toutes les démonstrations. Propositions, connecteurs, quantificateurs et types de raisonnement.
Rigueur
100%
Abstrait
Oui
Utilité
Preuves
Concepts & Chapitres
| Sujet | Niveau | Popularité | Actions |
|---|---|---|---|
| Logique des propositions Connecteurs (ET, OU, NON), Tables de vérité | Lycée/Sup | 80% | |
| Quantificateurs Pour tout (∀), Il existe (∃) | Lycée/Sup | 75% | |
| Types de raisonnement Absurde, Contraposée, Disjonction des cas | Lycée | 90% | |
| Récurrence Principe et rédaction type | Terminale | 95% |
Points Clés
Supposer le contraire de ce qu'on veut prouver pour aboutir à une contradiction.
Prouver que √2 est irrationnel