Aussagen als Formeln in Prädikatenlogik

Question

Ich muss folgenden Satz in Prädikatenlogik umwandeln:

Was Donald Ervin Knuth nicht kann, kann keiner!

Meine Idee:
$$\neg kannes(Donald) \Rightarrow \neg \exists \, x \, kanness(x)$$

Answer 1

sieht doch gut aus, oder sind Donald Ervin Knuth

drei Personen ?   Dann müsste es ja so beginnen

¬ ( kannes(Donald) v kannes(Erwin) v kannes(Knut) ) ==>

....Müsste dann aber wohl heißen :

Was weder Donald noch Erwin ...   

Answer 2

Wir brauchen eine Grundmenge G aus der DEK stammt und aus der alle weiteren relevanten Individuen Y stammen, über die hier eine Aussage gemacht wird. x ist irgend eine Sache oder ein Ablauf, den jemand können kann. Y(x) heißt: "Y aus der besagen Grundmenge G kann x". Dann geht es um den Satz DEK(x)⇒(Y≠DEK→ ¬Y(x)).