Prädikatenlogik < Prädikatenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 16:02 Mi 08.05.2013 | | Autor: | rachel |
| Aufgabe | Übersetzung in Prädikatenlogik!
1.Alles hat Ursachen und Wirkungen.
2.Nichts ist größer als ein Berg.
3.Wenn Tapferkeit, Besonnenheit, Klugheit und Gerechtikgkeit Tugenden sind, dann ist Sokrates tugendhaft oder er besitzt keine von diesen. |
Hallo,
ich habe totale Probleme bei dem Thema Prädikatenlogik, das ist orgendwie zu abstrakt für mich und ich versteh vieles nicht. Ich muss das übersetzen, den ersten Satz habe ich so übersetzt:
1. umgedrehtes Ax P^P2-->ist das richtig?
und bei den anderen steig ich schon nicht mehr durch..wäre supi wenn mir das einer erklären könnte. Das ist mir eindeutig zu hoch
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 16:20 Fr 10.05.2013 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig | | Datum: | 17:04 Fr 10.05.2013 | | Autor: | Herbart |
Für die Übersetzung in Junktoren und Quantoren ist es hilfreich sich eine Art "Vokabular" anzueignen, z.B.:
[mm] \neg [/mm] heißt "nicht"
[mm] \vee [/mm] heißt "oder" (ein nicht ausschließendes oder! Im Gegensatz zu "entweder-oder"-Konstruktionen)
usw.
Einige wichtige Junktoren findest du unter "Eingabehilfen", wenn du einen Kommentar schreibst.
Hast du eine "wenn-dann"-Konstruktion wie in 3.), so musst du [mm] \Rightarrow [/mm] nutzen. Für Äquivalenzen bzw. "genau dann-wenn"-Konstruktionen verwendest du [mm] \gdw [/mm] .
Es wäre gut, wenn du dir ein entsprechendes Kapitel über Logik in einem Mathe-, Informatik- oder Philosophiebuch der Uni durchlesen würdest.
Da ich mich bisher hauptsächlich in der Mathematik mit Logik beschäftigt habe, hier ein Bsp. ohne Gewähr :)
"Es gibt einen Hund (H), der alle Menschen (M) beißt."
Kann man umformen zu:
[mm] \exists [/mm] H [mm] \forall [/mm] M : H beißt M
Wie gesagt: Ich bin der Logik bisher nur in der Mathematik begegnet, aber ich hoffe, dass dir diese Ausführungen helfen.
Grüße
Herbart
|
|
|
|
