Prädikate < Formale Sprachen < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
| Aufgabe | Geben Sie für die folgenden umgangssprachlichen Sätze Formel der
Prädikatenlogik an, die der gleichen Bedeutung gerecht werden. Definieren Sie
dazu zunächst geeignete Prädikate!
Einige Zollbeamte waren auch Mitglieder der Drogenmafia.
Kein Diplomat war ein Mitglied der Drogenmafia.
Einige Mitglieder der Drogenmafia reisten in das Land ein, wurden aber nur
von Mitgliedern der Drogenmafia durchsucht.
Die Zollbeamten durchsuchten jeden, der in das Land einreiste und nicht
Diplomat war. |
Also ich würde zuerst folgende Prädikate definieren:
Mafia(x) [mm] :\gdw [/mm] x war Mitglied der Drogenmafia
Zollbeamter(x) [mm] :\gdw [/mm] x ist Zollbeamter
Also den ersten Satz würde ich so wiedergeben:
[mm] \exists [/mm] x(Mafia(x) [mm] \wedge [/mm] Zollbeamter(x))
Aber danach komme ich irgendwie nicht drauf; ein Tipp wäre nett.
|
|
| |
|
| Status: |
(Antwort) fertig  | | Datum: | 14:55 Sa 07.03.2009 | | Autor: | rainerS |
Hallo!
> Geben Sie für die folgenden umgangssprachlichen Sätze
> Formel der
> Prädikatenlogik an, die der gleichen Bedeutung gerecht
> werden. Definieren Sie
> dazu zunächst geeignete Prädikate!
> Einige Zollbeamte waren auch Mitglieder der
> Drogenmafia.
> Kein Diplomat war ein Mitglied der Drogenmafia.
> Einige Mitglieder der Drogenmafia reisten in das Land
> ein, wurden aber nur
> von Mitgliedern der Drogenmafia durchsucht.
> Die Zollbeamten durchsuchten jeden, der in das Land
> einreiste und nicht
> Diplomat war.
> Also ich würde zuerst folgende Prädikate definieren:
> Mafia(x) [mm]:\gdw[/mm] x war Mitglied der Drogenmafia
> Zollbeamter(x) [mm]:\gdw[/mm] x ist Zollbeamter
> Also den ersten Satz würde ich so wiedergeben:
> [mm]\exists[/mm] x(Mafia(x) [mm]\wedge[/mm] Zollbeamter(x))
> Aber danach komme ich irgendwie nicht drauf; ein Tipp wäre
> nett.
Ein paar Tipps:
Nimm zunächst die Negation der zweiten Aussage, nämlich "Mindestens ein Diplomat war Mitglied der Drogenmafia."
Bei der dritten Aussage brauchst du zwei Variablen, einmal für die Einreisenden, einmal für die Durchsuchenden.
Viele Grüße
Rainer
|
|
|
|
