Diskussion:Giuseppe Piano: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
Ttogun (Diskussion | Beiträge) (Prädikatenlogik..) |
Ttogun (Diskussion | Beiträge) |
||
(Eine dazwischenliegende Version von einem anderen Benutzer wird nicht angezeigt) | |||
Zeile 3: | Zeile 3: | ||
<klugscheißen>Die Prämisse ist falsch übersetzt. Hier hätte man statt des Existenzquantors einen Allquantor einsetzen müssen, da ¬ ∃ mit "keine (schwarze Taste ist Nachfolger von..)" übersetzt werden muss. </klugscheißen>. [[Kamel:ungott|Ungott]] [[Datei:Sig ungott.gif|10px]] 12:26, 9. Aug. 2010 (NNZ) | <klugscheißen>Die Prämisse ist falsch übersetzt. Hier hätte man statt des Existenzquantors einen Allquantor einsetzen müssen, da ¬ ∃ mit "keine (schwarze Taste ist Nachfolger von..)" übersetzt werden muss. </klugscheißen>. [[Kamel:ungott|Ungott]] [[Datei:Sig ungott.gif|10px]] 12:26, 9. Aug. 2010 (NNZ) | ||
+ | :kannste ruhig ändern; hatte das damals ''fast'' (*g*) 1:1 aus der Wikipedia kopiert ... und die haben das mittlerweile wohl auch überarbeitet. Gruß, --[[Kamel:WiMu|WiMu]] 19:42, 9. Aug. 2010 (NNZ) | ||
+ | |||
+ | :: Ne, das ist an mehreren Stellen fehlerhaft und die Sonderzeichen sind etwas problematisch, passt schon irgendwie *g*. [[Kamel:ungott|Ungott]] [[Datei:Sig ungott.gif|10px]] 19:45, 9. Aug. 2010 (NNZ) |
Aktuelle Version vom 9. August 2010, 18:45 Uhr
Jede schwarze Taste ist Nachfolger genau einer weißen Taste: ¬ ∃ ( , ) : = , ¬ = (oder irgendwie so halt)
<klugscheißen>Die Prämisse ist falsch übersetzt. Hier hätte man statt des Existenzquantors einen Allquantor einsetzen müssen, da ¬ ∃ mit "keine (schwarze Taste ist Nachfolger von..)" übersetzt werden muss. </klugscheißen>. Ungott 12:26, 9. Aug. 2010 (NNZ)
- kannste ruhig ändern; hatte das damals fast (*g*) 1:1 aus der Wikipedia kopiert ... und die haben das mittlerweile wohl auch überarbeitet. Gruß, --WiMu 19:42, 9. Aug. 2010 (NNZ)
- Ne, das ist an mehreren Stellen fehlerhaft und die Sonderzeichen sind etwas problematisch, passt schon irgendwie *g*. Ungott 19:45, 9. Aug. 2010 (NNZ)