FB18 - Das Forum für Informatik

fb18.de / Bachelorstudieng / PM Formale Informatik

FGI 2, Zettel 3, Aufgabe 3.1 Bedeutung von Phi(m0)

FGI 2, Zettel 3, Aufgabe 3.1 Bedeutung von Phi(m0) 2007-11-12 18:18
Dive
Hi Leuts!

Ich hab ein Problem mit dem aktuellen Blatt 3!
Was ist mit Phi(m0) gemeint? Was sagt Phi aus?
Ist in dieser Aufgabe ein formaler Beweis über Induktion gefragt, oder was ist da gemeint?

Und wie soll man in Aufgabe 3.1.2. ein Phi angeben, wie kann so etwas aussehen?

Dankbar für jeden Hinweis!

RE: FGI 2, Zettel 3, Aufgabe 3.1 Bedeutung von Phi(m0) 2007-11-12 18:28
T
Was ist mit Phi(m0) gemeint? Was sagt Phi aus?
Das grosse [img]http://mokrates.de/cgi-bin/texstring?%5CPhi[/img] wird für Netze wahr für die die ganze Aussage hinter dem := wahr wird.
Das kleine [img]http://mokrates.de/cgi-bin/texstring?%5Cphi[/img] wird für manche Belegungen wahr, für manche nicht. Es wird aber nicht gesagt für welche genau, (was deshalb Sinn macht weil sowieso kein Netz und damit keine Belegung gegeben ist).
Du sollst die Aussage also für alle Netze N und alle Relationen [img]http://mokrates.de/cgi-bin/texstring?%5Cphi[/img] beweisen.
In diesem Zusammenhang kannst du dir einfach vorstellen das [img]http://mokrates.de/cgi-bin/texstring?%5Cphi[/img](m) für bestimmte m gilt, für andere nicht und die geltenden in einer Menge stehen. z.B.: [img]http://mokrates.de/cgi-bin/texstring?%5Cphi[/img]={m0, m1, m5}.

RE: FGI 2, Zettel 3, Aufgabe 3.1 Bedeutung von Phi(m0) 2007-11-13 13:26
Anonymer User
> Das kleine wird für manche Belegungen wahr, für manche nicht.
Besser: wird fuer manche _Markierungen_ wahr,….

RE: FGI 2, Zettel 3, Aufgabe 3.1 Bedeutung von Phi(m0) 2007-11-13 17:00
T
> Das kleine wird für manche Belegungen wahr, für manche nicht.
Besser: wird fuer manche _Markierungen_ wahr,….
ja

RE: FGI 2, Zettel 3, Aufgabe 3.1 Bedeutung von Phi(m0) 2007-11-19 23:35
Dive
Vielen Dank für eure Tips! Die haben echt geholfen!