Skillnad mellan versioner av "Jonathans sats"
Hoppa till navigering
Hoppa till sök
Loovjo (diskussion | bidrag) |
Loovjo (diskussion | bidrag) |
||
| Rad 3: | Rad 3: | ||
== Bevis == | == Bevis == | ||
| − | + | Antag att en sats gäller, samt att denna sats har ett eller fler undantag. Men eftersom att satsen har ett undantag så finns det altså ett fall som inte gäller. Detta går emot vårt antagande om satsen gällande, och ger oss en motsägelse. Alltså gäller ej satsen, [[Bevis|VVVVV]]. | |
[[Kategori:Matematik]][[Kategori:Satser]] | [[Kategori:Matematik]][[Kategori:Satser]] | ||
Nuvarande version från 13 september 2019 kl. 15.06
Jonathans sats säger att alla satser som har undantag inte gäller. Denna sats är ett undantag.
Bevis
Antag att en sats gäller, samt att denna sats har ett eller fler undantag. Men eftersom att satsen har ett undantag så finns det altså ett fall som inte gäller. Detta går emot vårt antagande om satsen gällande, och ger oss en motsägelse. Alltså gäller ej satsen, VVVVV.
