www.vorhilfe.de
- Förderverein -
Der Förderverein.

Gemeinnütziger Verein zur Finanzierung des Projekts Vorhilfe.de.
Hallo Gast!einloggen | registrieren ]
Startseite · Mitglieder · Impressum
Forenbaum
^ Forenbaum
Status VH e.V.
  Status Vereinsforum

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation
 Startseite...
 Suchen
 Impressum
Das Projekt
Server und Internetanbindung werden durch Spenden finanziert.
Organisiert wird das Projekt von unserem Koordinatorenteam.
Hunderte Mitglieder helfen ehrenamtlich in unseren moderierten Foren.
Anbieter der Seite ist der gemeinnützige Verein "Vorhilfe.de e.V.".
Partnerseiten
Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
Forum "Prädikatenlogik" - Pränexe Normalform
Pränexe Normalform < Prädikatenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Prädikatenlogik"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Pränexe Normalform: Relationen ohne Quantoren
Status: (Frage) überfällig Status 
Datum: 17:09 Mo 13.06.2016
Autor: Phil_Smith

Aufgabe
Betrachten Sie die folgenden FO-Formeln, wobei c ein Konstantensymbol, P ein einstelliges Relationssymbol und R ein zweistelliges Relationsymbol ist:
$(i) Pc [mm] \land \forall [/mm] x [mm] (\exists [/mm] y (Px [mm] \leftrightarrow \neg Py))$ $(ii)\forall x (Px \vee \exists x \neg Px)$ $(iii)Rcc \land \forall x \exists y (Rxy \rightarrow \exists [/mm] y Ryx)$
Geben Sie für jede diesen FO-Formeln eine äquivalente Formel in pränexer Normalform und in Skolemnormalform an.

Hallo zusammen!

Ich habe eine Frage zur pränexen Normalform.

Sowohl bei (i) als auch bei (iii) bin ich mir unsicher wo die Relationen, zu denen es keine Quantoren gibt, stehen sollen.

Bei (i) schwanke ich zwischen
[mm] $\forall [/mm] x [mm] \exists [/mm] y ((Px [mm] \leftrightarrow \neg Py) \land Pc)$ und $\forall x \exists y (Px \leftrightarrow \neg Py) \land Pc$ Kann jemand kurz erklären wie hier die Regel ist? Ist das sonst soweit korrekt? Viele Grüße Phil Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt. [/mm]

        
Bezug
Pränexe Normalform: Fälligkeit abgelaufen
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 17:20 Mi 15.06.2016
Autor: matux

$MATUXTEXT(ueberfaellige_frage)
Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Prädikatenlogik"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
ev.vorhilfe.de
[ Startseite | Mitglieder | Impressum ]