prädikatenlogische Formeln < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 16:32 Mi 06.01.2016 | | Autor: | Bdck |
| Aufgabe | Wandeln Sie die folgenden Aussagen in prädikatenlogische Formeln um.
Geben Sie auch die Bedeutung aller von Ihnen verwendeten Prädikate an. Das Universum enthält, falls unten nicht anders angegeben, nur Säugetiere.
a) Jeder Mensch hat eine Mutter.
b)Alle Hunde sind braun.
c)Weil sie kein Auto haben, nehmen manche Menschen den Bus.
d)Jedes Säugetier atmet Luft. |
Ich weiß ehrlich gesagt nicht wie ich an eine Lösung komme.
Könnte es mir jemand an einem Lösungsbeispiel erklären?
Vielen Dank im Vorraus. :)
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
| Status: |
(Frage) beantwortet | | Datum: | 17:17 Mi 06.01.2016 | | Autor: | Bdck |
[mm] \forall [/mm] x: Mensch(x) [mm] \Rightarrow [/mm] Mutter(x)
[mm] \forall [/mm] x: Hunde(x) [mm] \Rightarrow [/mm] braun(x)
[mm] \exists [/mm] x: Mensch(x) [mm] \Rightarrow \neg [/mm] Auto(x) [mm] \Rightarrow [/mm] Bus(x)
[mm] \forall [/mm] x: Säugetier(x) [mm] \Rightarrow [/mm] Luft(x)
|
|
|
| |
|
Hallo und willkommen,
es sind mehrere Lösungen möglich, je nach dem, wie du deine Prädikate setzt.
Zu a): Die Prädikatsbezeichnungen IstMensch() und HatMutter() fände ich weniger irreführend, grundsätzlich aber richtig.
Zu b): Gleiches wie bei a)
Zu c): Da Implikationen nicht assoziativ sind, musst du hier Klammern setzen. Sonst ist unklar, ob die Wahrheit einer Implikation eine Aussage impliziert, oder ob eine Aussage die Wahrheit einer Implikation impliziert. Ansonsten siehe a)
Zu d): Gleiches wie bei a)
Also: Das Konzept hast du verstanden, setze Klammern bei c) und benenne ggf. deine Prädikate sinnvoller.
Gruß,
Sandro
|
|
|
|
