Diskussion:Giuseppe Piano: Unterschied zwischen den Versionen

aus Kamelopedia, der wüsten Enzyklopädie
Zur Navigation springen Zur Suche springen
(Prädikatenlogik..)
 
 
(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 Sig ungott.gif 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 Sig ungott.gif 19:45, 9. Aug. 2010 (NNZ)