Diskussion:Giuseppe Piano: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
Ttogun (Diskussion | Beiträge) (Prädikatenlogik..) |
WiMu (Diskussion | Beiträge) K |
||
| 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) | ||
Version vom 9. August 2010, 18:42 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)