Einstieg Prädikatenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Aufgabe | F1 = AxEy(P(x)v)P(y))
F2 = Ax (P(x) v P(f(x)))
F3 = Ax(P(x) v P (g(x)))
Welcher dieser Formeln sind
a) äquivalent
b) erfüllbarkeitsäquivalent |
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
Hallo Logiker!
Was ich weiß: äquivalent bedeutet, unter jeder passenden Struktur der selbe Wahrheitswert, erfüllbarkeitesäquivalent; wenn A gültig ist (unter einer passenden Struktur) dann auch B (unabhängig davon, ob für B weitere passenden Strukturen existieren)
Witzigerweise fehlt mir hier jedoch einfach der praktische Einstieg. Mir ist nicht klar, wie ich so eine Aufgabe lösen kann. Ich erwarte auch nicht die "Lösung" - sehr hilfreich wären einfach Ansätze, wie man sowas prinzipiell angeht. Wer immer mir hilft, ich bin dir sehr, sehr verbunden.
Liebe Grüße,
Alex
|
|
| |
|
| Status: |
(Antwort) fertig  | | Datum: | 03:18 Di 24.04.2007 | | Autor: | komduck |
Zunächst sollten wir uns klar machen das:
F1 <=> Ey(P(y))
Auserdem gilt:
F2 => Ey(P(y))
F3 => Ey(P(y))
F1 erf => F2 erf
F2 erf => F3 erf
mfg komduck
|
|
|
|
