Skillnad mellan versioner av "Jonathans sats"
Hoppa till navigering
Hoppa till sök
Loovjo (diskussion | bidrag) (Lade till kategori) |
Loovjo (diskussion | bidrag) |
||
| Rad 1: | Rad 1: | ||
Jonathans sats säger att alla satser som har undantag gäller inte. Denna sats är ett undantag. | Jonathans sats säger att alla satser som har undantag gäller inte. Denna sats är ett undantag. | ||
| + | |||
| + | == Bevis == | ||
| + | |||
| + | Anta att en sats gäller. Men efter som att satsen har ett undantag så är det ett fall som inte gäller. Detta går emot vårt antagande och ger en motsägelse. | ||
[[Kategori:Matematik]][[Kategori:Satser]] | [[Kategori:Matematik]][[Kategori:Satser]] | ||
Versionen från 23 november 2017 kl. 12.15
Jonathans sats säger att alla satser som har undantag gäller inte. Denna sats är ett undantag.
Bevis
Anta att en sats gäller. Men efter som att satsen har ett undantag så är det ett fall som inte gäller. Detta går emot vårt antagande och ger en motsägelse.
