Diskussion:Giuseppe Piano

aus Kamelopedia, der wüsten Enzyklopädie
Version vom 9. August 2010, 11:26 Uhr von Ttogun (Diskussion | Beiträge) (Prädikatenlogik..)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Zur Navigation springen Zur Suche springen

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)