Skillnad mellan versioner av "Jonathans sats"
Hoppa till navigering
Hoppa till sök
Loovjo (diskussion | bidrag) |
Loovjo (diskussion | bidrag) |
||
| Rad 1: | Rad 1: | ||
| − | Jonathans sats säger att alla satser som har undantag gäller | + | Jonathans sats säger att alla satser som har undantag inte gäller. Denna sats är ett undantag. |
== Bevis == | == Bevis == | ||
Versionen från 12 december 2017 kl. 16.19
Jonathans sats säger att alla satser som har undantag inte gäller. 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.
