Prädikatenlogik L-Strukturen |
| 03.11.2011, 18:24 | Mathenoobika | Auf diesen Beitrag antworten » | ||
| Prädikatenlogik L-Strukturen Ich habe die Aufgabe durch Angabe geeigneter L-Strukturen zu zeigen, dass keiner der Sätze, logisch den anderen impliziert. Dabei sei L die Sprache die aus einer binären Relation und keinem anderen nicht logischem Symbol besteht. Alleine durch die Aufgabenstellung habe ich schon ein Verständnisproblem, wie ich dar ran gehen soll? Zu zeigen ist dies bei folgender Aussage: Muss ich das erstmal in eine bereinigte Pränexform bringen, oder was soll ich da tun? Bzw. wie löse ich in dem Fall die Implikation auf (werden die ersten beiden Quantoren negiert usw.) Für ein wenig erklärende Hilfe wäre ich wie immer sehr dankbar. Viele Grüße Mathenoobika |
||||
| 04.11.2011, 14:15 | Mathenoobika | Auf diesen Beitrag antworten » | ||
Also, es steht nun fest, dass ich die vorangegangene Formel in Skolemform bringen muss.... Hilfe möglich? (Z.B. muss ich die hinteren gebunden Var substituieren o.ä.) Vielen Dank im voraus. Gruss Mathenoobika |
||||
| 04.11.2011, 19:30 | pseudo-nym | Auf diesen Beitrag antworten » | ||
RE: Prädikatenlogik L-Strukturen
Warum hast du dann nur eine Aussage angegeben? Was die Pränex- bzw. die Skolemform angeht: Warum ist eine solche Form nützlich um ein Modell zu konstruieren? |
||||
|
|
Verwandte Themen
| Die Beliebtesten » |
|
| Die Größten » |
|
| Die Neuesten » |
|
