Pränexform < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Aufgabe | | ∀ x ( ¬ ( ∀ y p (x,y) [mm] \wedge [/mm] Q (y, i(x) ) ) ) ⇒ ¬ ∃ z R (z,x) auf Pränexform bringen. |
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
Hallo.
Ich soll die oben angegebene Formel auf Pränexform bringen.
In welcher Reihenfolge gehe ich da am besten vor?
1. Quantoren nach außen vor die Formel ziehen
2. ⇒ auflösen
3. ¬ nach innen ziehen
Oder würdet ihr anders vorgehen?
Außerdem weiß ich nicht genau wo die Quantoren überall gelten. Das ∀ x am Anfang gilt doch nur bis zum ⇒, oder?
∀ y p (x,y) [mm] \wedge [/mm] Q (y, i(x) )
Gilt das ∀ y nur für p (x,y) oder auch für den Teil nach dem "und"?
Danke schonmal für die Antworten.
P.S.: Ich hoffe ihr könnt die Formel lesen, habe sie aus einem PDF kopiert.
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 15:20 Di 12.07.2011 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
