---

Geschrieben von Bud am 04.01.2011 um 18:57:

  prädikatenlogische Formel in Ugs.

Meine Frage:
Hallo,

ich habe hier eine Aufgabe, bei der ich mir schon eine Stunde den Kopf zerbreche und keinen vernünftigen Ansatz finde.
Aufgabe: prädikatenlogische Formel in Umgangssprache übersetzten
"Für Alle"x (N(x) -> "Existiert ein"y ( N(y) "logisches UND" R(y,x))) mit einstelliger Relation N für Element N (= nat. Zahlen) und zweistelliger Relation R für | (a|b gdw. b durch a teilbar ist)

Meine Ideen:
Ansatz....mhh.
Für alle nat. Zahlen existiert irgendwas unglücklich
Ich weiß vom Prinzip her nicht, was das nach der Implikation genau bedeuten soll. Wär toll, wenn ihr mir da weiterhelfen könntet.

mfg