Résultats de la recherche
Aller à la navigation
Aller à la recherche
Correspondances dans les titres des pages
- ...sseté d’une proposition en déduisant logiquement d’elle des conséquences [[absurde]]s. ...hose, mais indirectement, en faisant voir que la proposition contraire est absurde. On conclut de la fausseté de l’une à la vérité de l’autre. ...14 kio (2 237 mots) - 16 janvier 2025 à 13:43
Correspondances dans le texte des pages
- On démontre [[Raisonnement par l'absurde|par l'absurde]] que <math>\rho</math> est [[Nombre irrationnel|irrationnel]]. Pour cela, ...>]]. Alors, <math>1=r_p=r_{p+k}=r_{p+2k}=\dots=r_{p+pk}</math>, ce qui est absurde puisque <math>p+pk=p(k+1)</math> est composé. ...2 kio (372 mots) - 13 février 2022 à 14:43
- :Raisonnons [[Raisonnement par l'absurde|par l'absurde]]. Soient ''p'' et ''q'' deux points de ''M'' avec <math>L=d(p,q)>\pi/\sqrt :Ceci est absurde lorsque <math>\gamma</math> est la géodésique minimisante dont l'existence ...3 kio (540 mots) - 30 janvier 2024 à 21:37
- L'un des principes de la logique classique est le [[raisonnement par l'absurde]]. Pour montrer une proposition <math>A</math>, on suppose que <math>A</mat ...ath> et nous devons montrer que <math>A</math> est vraie. Raisonnons par l'absurde et supposons que <math>A</math> soit fausse. Mais si <math>A</math> est fau ...7 kio (1 157 mots) - 22 octobre 2023 à 09:17
- ...erche. 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
- ...ble et de dimension paire et raisonnons [[Raisonnement par l'absurde|par l'absurde]]. Supposons que ''M'' ne soit pas simplement connexe. Alors ''M'' possède ...3 kio (498 mots) - 30 mai 2021 à 06:11
- ...''n'' – 1 (''n'' > 2) et (en raisonnant [[Raisonnement par l'absurde|par l'absurde]]) que ''I'' n'est contenu dans aucun des ''P{{ind|i}}''. Par hypothèse de ...5 kio (879 mots) - 28 septembre 2023 à 13:26
- ...dans {{Formule|''X''}} ; il existe sans l'axiome du choix. Supposons par l'absurde que {{Formule|''X''}} ne soit pas en bijection avec un [[Nombre ordinal|ord ...e une injection de {{Formule|ℵ(''X'')}} dans {{Formule|''X''}}, ce qui est absurde par définition de {{Formule|ℵ(''X'')}}. ...7 kio (1 176 mots) - 23 novembre 2024 à 01:27
- ...es degrés des voisins de <math>x</math> a augmenté strictement, ce qui est absurde. Ainsi, éventuellement en réordonnant les sommets (en cas d'égalité), on pe ...4 kio (703 mots) - 1 février 2025 à 18:14
- En [[logique intuitionniste]], logique qui refuse le [[raisonnement par l'absurde]] ou l'élimination de la double négation, ou en [[logique minimale]], logiq ...diction, alors B est vrai, ce qui est l'essence même du raisonnement par l'absurde. ...8 kio (1 245 mots) - 11 mai 2024 à 22:38
- * Il y est absurde de considérer qu'une [[Proposition (philosophie)|proposition]] puisse impli ...ents usuels, tels que les [[Raisonnement par l'absurde|raisonnements par l'absurde]], usité par exemple ici : ...11 kio (1 758 mots) - 11 mars 2025 à 12:04
- ...u'en logique classique, il suffit de faire appel à des raisonnements par l'absurde seulement devant des formules atomiques, des disjonctions ou des quantifica * La logique classique utilise le [[raisonnement par l'absurde]] et déduit de <math>\lnot A \to \bot</math> le fait que <math>A</math> est ...11 kio (1 870 mots) - 29 novembre 2024 à 21:29
- ...sseté d’une proposition en déduisant logiquement d’elle des conséquences [[absurde]]s. ...hose, mais indirectement, en faisant voir que la proposition contraire est absurde. On conclut de la fausseté de l’une à la vérité de l’autre. ...14 kio (2 237 mots) - 16 janvier 2025 à 13:43
- ...construit un voisinage de <math>z</math> ne contenant pas <math>x</math>, absurde puisqu'on a pris <math>z</math> dans <math>{\overline {\{x\}}}</math>. ...3 kio (409 mots) - 12 février 2025 à 17:31
- ...é pour <math>(X_k)</math> en [[Raisonnement par l'absurde|raisonnant par l'absurde]]. Ce procédé impose de prouver que la condition de Lindeberg est fausse po ...6 kio (880 mots) - 12 juin 2022 à 16:44
- ...rème de Löb obtenu en considérant la formule 0 = 1 (ou toute autre formule absurde). En effet Dem<sub>''T''</sub>(⌈0 = 1⌉)→ 0 = 1 exprime bien que 0 = 1 n'est ...écessaires pour le théorème), c'est là où intervient le raisonnement par l'absurde. Ainsi : ...8 kio (1 369 mots) - 26 décembre 2023 à 21:29
- ...(d'ordinaire, elle se montrerait alors par l'[[Raisonnement par l'absurde|absurde]]). Au contraire, l'exemple peut même servir à démontrer la non-unicité, en ...5 kio (806 mots) - 2 janvier 2025 à 19:18
- * via une [[division par zéro]] obtenir un résultat absurde. * test de l'une des supposées racines et résultat absurde. ...11 kio (1 808 mots) - 10 août 2024 à 18:24
- ...inion Pro. La formule semble être mathématique ou physique, mais peut-être absurde.]] ...2 kio (343 mots) - 1 novembre 2024 à 20:10
- On procède par [[raisonnement par l'absurde|l'absurde]]. ...6 kio (909 mots) - 23 janvier 2025 à 10:01
- ...u, il en résulte que ''M'' est une partie génératrice de ''G'', ce qui est absurde, puisque, par définition d'un sous-groupe maximal, ''M'' est un sous-groupe ...Prouvons que ''M'' est un sous-groupe maximal de ''G''. Supposons que, par absurde, ''M'' ne soit pas un sous-groupe maximal de ''G''. Il existe donc un sous- ...11 kio (1 794 mots) - 14 mars 2025 à 15:24