Registrierung Kalender Mitgliederliste Teammitglieder Suche Häufig gestellte Fragen Zur Startseite

Informatiker Board » Themengebiete » Theoretische Informatik » Logik » prädikatenlogische Formel in Ugs. » Hallo Gast [Anmelden|Registrieren]
Letzter Beitrag | Erster ungelesener Beitrag Druckvorschau | An Freund senden | Thema zu Favoriten hinzufügen
Neues Thema erstellen Antwort erstellen
Zum Ende der Seite springen prädikatenlogische Formel in Ugs.
Autor
Beitrag « Vorheriges Thema | Nächstes Thema »
Bud
unregistriert
prädikatenlogische Formel in Ugs. Auf diesen Beitrag antworten Zitatantwort auf diesen Beitrag erstellen Diesen Beitrag editieren/löschen Diesen Beitrag einem Moderator melden       Zum Anfang der Seite springen

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
04.01.2011 18:57
Baumstruktur | Brettstruktur
Gehe zu:
Neues Thema erstellen Antwort erstellen
Informatiker Board » Themengebiete » Theoretische Informatik » Logik » prädikatenlogische Formel in Ugs.