Diskussion:Giuseppe Piano
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)