Semantische Beziehung beweisen < Prädikatenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Aufgabe | Seien [mm] \phi [/mm] , [mm] \psi [/mm] und [mm] \rho [/mm] prädikatenlogische Formeln, wobei in [mm] \psi [/mm] die Variable x nicht vorkommt. Zeigen Sie die folgenden semantischen Beziehungen:
1. [mm] \exists [/mm] x ( [mm] \phi [/mm] ) [mm] \vee \psi \equiv \exists [/mm] x ( [mm] \phi \vee \psi)
[/mm]
2. [mm] \exists [/mm] x ( [mm] \phi [/mm] ) [mm] \wedge \forall [/mm] x ( [mm] \rho [/mm] ) |= [mm] \exists [/mm] x ( [mm] \phi \wedge \rho [/mm] ) |
Hallo Community,
ich habe überhaupt keine Ahnnung, wie ich anfangen soll.
Kann mir bitte jemand einen hilfreichen Starttipp geben?
Danke
|
|
| |
|
| Status: |
(Antwort) fertig  | | Datum: | 11:35 Fr 08.02.2013 | | Autor: | hippias |
Du musst einerseits die Definition der semantischen Folgerungsbeziehung zwischen zwei Formeln anwenden - Du koenntest eure Definition dazu ja einmal posten - und wissen, dass Du die Belegung der Variablen eines Modells einer Formel fuer die Variable beliebig waehlen darfst, die nicht in der Formel vorkommen.
|
|
|
|
