Résultats de la recherche
Aller à la navigation
Aller à la recherche
Correspondances dans les titres des pages
- La '''logique''' est le fondement du raisonnement mathématique. ...qui dit mathématique dit démonstration.|[[Nicolas Bourbaki]]|[[Éléments de mathématique]], in Introduction de Théorie des ensembles}} ...22 kio (3 503 mots) - 5 février 2025 à 12:35
Correspondances dans le texte des pages
- ...mathématique]], une {{terme défini|condition nécessaire}} à l'[[assertion (mathématique)|assertion]] <math>P</math> est une assertion <math>Q</math> telle que : [[Catégorie:Raisonnement mathématique]] ...880 octet (137 mots) - 4 décembre 2024 à 22:53
- ...mathématique]], une {{terme défini|condition suffisante}} à l'[[assertion (mathématique)|assertion]] <math>P</math> est une assertion <math>Q</math> telle que : [[Catégorie:Raisonnement mathématique]] ...862 octet (126 mots) - 9 décembre 2024 à 14:40
- Le '''raisonnement par disjonction de cas''' est une forme de [[preuve directe]] qui consiste [[Catégorie:Raisonnement mathématique]] ...1 kio (194 mots) - 2 mars 2025 à 14:26
- * par un raisonnement mathématique, en posant explicitement le calcul avec les [[coefficients de Christoffel]] * par un raisonnement physique, dans le cadre de la [[relativité générale]]. ...3 kio (423 mots) - 27 février 2021 à 21:36
- ...sion, à partir de cette hypothèse et des faits établis. Par exemple, les [[Raisonnement par disjonction de cas|disjonctions de cas]] ou les [[Preuve par induction| ...e équivalent à l'implication que l'on cherche. D'autres exemples sont la [[Raisonnement par l'absurde|preuve par l'absurde]] ou la [[méthode de descente infinie]]. ...2 kio (377 mots) - 4 mars 2025 à 03:13
- == Raisonnement == ...len Paulos]], ''[[La Peur des chiffres|La peur des chiffres. L’illettrisme mathématique et ses conséquences]]'', Éditions Ergo press, 1989, {{p.|90}}</ref> (selon ...3 kio (505 mots) - 14 avril 2020 à 11:01
- [[Catégorie:Raisonnement mathématique]] ...1 kio (193 mots) - 10 janvier 2019 à 21:44
- ...ef>{{,}}<ref> {{article |auteur = H. Dufumier | titre = La généralisation mathématique | année = 1911 | périodique = Revue de métaphysique et de morale | lire en ...exclu]]'' énonce que pour toute [[Proposition (mathématiques)|proposition mathématique]] considérée, elle-même ou sa négation est vraie : <math> A\lor \neg A</mat ...6 kio (1 054 mots) - 18 septembre 2023 à 17:53
- Le '''''modus ponens''''', ou '''détachement''', est une figure du [[raisonnement]] [[logique]] concernant l'[[Implication (logique)|implication]]. Elle cons La règle du ''modus ponens'' ou de ''détachement'' est une règle primitive du raisonnement. On l'écrit formellement (suivant le contexte) : ...7 kio (1 087 mots) - 25 février 2025 à 04:16
- == Formulation mathématique == ...ort à une [[Loi uniforme discrète|distribution uniforme]] où l'[[Espérance mathématique|espérance]] d'une variable aléatoire binaire est 1/2. Plus le biais est imp ...5 kio (845 mots) - 20 novembre 2023 à 23:07
- ...particulier visant à illustrer une [[définition]], un [[théorème]] ou un [[raisonnement]]. ...'[[Induction (logique)|induction]] et ne doit pas être confondue avec le [[raisonnement par récurrence]].</ref>. ...5 kio (806 mots) - 2 janvier 2025 à 19:18
- L'un des principes de la logique classique est le [[raisonnement par l'absurde]]. Pour montrer une proposition <math>A</math>, on suppose qu * Si un raisonnement conclut à une contradiction, alors on peut en déduire la validité de toute ...7 kio (1 157 mots) - 22 octobre 2023 à 09:17
- ...thématiques|mathématique]] utilisant les ''fonctions de croyance'' et le ''raisonnement plausible''. Le but de cette théorie est de permettre de raisonner dans une == Formalisme mathématique == ...8 kio (1 371 mots) - 21 janvier 2025 à 17:41
- La contraposition est utilisée dans les [[Démonstration mathématique|démonstrations mathématiques]] : au lieu de démontrer que A implique B, on ...posée de la réciproque). Utiliser la négation de l'antécédent conduit à un raisonnement faux ou [[sophisme]]. En effet, dans notre exemple le sol peut avoir été mo ...8 kio (1 245 mots) - 11 mai 2024 à 22:38
- ..., …). En permettant par le même principe de définir un [[Prédicat (logique mathématique)|prédicat]] [[Fonction totale|total]]{{pas clair}} i.e. qui est défini part L'induction structurelle est une généralisation de la [[raisonnement par récurrence|récurrence traditionnelle]]<!-- et un cas particulier de la ...9 kio (1 350 mots) - 13 mars 2025 à 20:01
- ...istential Quantification.png|alt=quantificateur il existe|vignette|Symbole mathématique du quantificateur d'existence.]] ...icat]], <math>P</math> se note <math>\exist x P(x)</math>, où le [[symbole mathématique]] <math>\exist</math>, lu « il existe », est le '''quantificateur existenti ...4 kio (678 mots) - 16 août 2024 à 10:32
- == Raisonnement mathématique == ...5 kio (842 mots) - 15 février 2025 à 22:37
- ...thématique mais seulement une figure, destinée à faciliter la lecture d'un raisonnement. En pratique, on se sert souvent des diagrammes comme de ''symboles abrévia ...2 kio (273 mots) - 30 janvier 2024 à 08:40
- ...|axiomes]] logiques'' exprimant les principales propriétés de la [[Logique mathématique|logique]] que l'on combine au moyen de quelques règles, notamment la règle ** Raisonnement par l'absurde : <math>(\neg f\to g)\to((\neg f\to\neg g)\to f)</math> ; ...6 kio (1 095 mots) - 15 janvier 2025 à 08:09
- ...rdité]] de la proposition contraire. Dans d'autres domaines que la logique mathématique (voir la section ci-dessous par exemple), cela peut aussi désigner le fait === Limites de ce mode de raisonnement === ...14 kio (2 237 mots) - 16 janvier 2025 à 13:43