Prädikatenlogik Formel < Prädikatenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 19:45 Di 17.01.2012 | | Autor: | Syrtox |
| Aufgabe | Leiten Sie mit Hilfe des Resolutionskalküls aus folgendem Sachverhalt ab,
dass 24 eine gerade Zahl ist. Das Produkt von zwei Zahlen ist gerade, wenn eine Zahl gerade war.
2 ist eine gerade Zahl. Das Produkt von 2 und 2 ist 4. Das Produkt von 2 und 3 ist 6. Das Produkt von 4 und 6 ist 24. |
Hallo Forengemeinde,
ich soll aus folgender Aufgabenstellung eine prädikatenlogische Formel bilden.
Folgenden Lösungsansatz habe ich:
F = gleich(24,*(4,gerade(6) ) )∧ ∀n (∃m∃z gleich(n,*(m,gerade(z) )→ gerade(n))→ gerade(24)
nur habe ich die Vermutung das diese Formel noch nicht genau der Aufgabestellung entspricht. Jedoch benötige ich eine korrekte Formel um überhaupt mit den Resolutionskalkül ableiten zu können.
Was denkt ihr....passt die Formel zu Aufgabestellung?
Verbesserungsvorschläge?
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 20:20 Do 19.01.2012 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
