Diskussion:Nicoles lemma

AlefWiki
Version från den 30 januari 2015 kl. 18.29 av Mattias Aronsson Adler (diskussion | bidrag) (Ny sida: Detta lemma har problem. varje steg är i detta läge ej ordentligt förklarat. Just nu är lemmats förklaring ekvivalent med detta bevis: '''Bevis på att alla bilar är gula.'''<br> (1)...)
(skillnad) ← Äldre version | Nuvarande version (skillnad) | Nyare version → (skillnad)
Hoppa till navigering Hoppa till sök

Detta lemma har problem. varje steg är i detta läge ej ordentligt förklarat. Just nu är lemmats förklaring ekvivalent med detta bevis:

Bevis på att alla bilar är gula.
(1) Det finns gula bilar.
(2) Jag har sett en gul bil.
Av (1) och (2) följer det att alla bilar är gula.

Fix it.
//Mattias Aronsson Adler