[MaLo] Übung 6

[JanTenner]

Hallo,

habe eine Frage zur Aufgabe 2. Soll man davon ausgehen, dass a und b schon vorher gewählt sind (a und b also freie Variablen)? Soll heißen, man stellt eine Formel auf, in der a und b vorkommen und man nur für alle anderen (Hilfs)variablen den Existenz- bzw. Allquantor angeben muss, oder muss dies auch für a und b geschehen?

Danke

[rootnode]

Die sind frei würde ich sagen.

[JanTenner]

Kann jemand Tipps zur 2e) geben? Ich habe keine Idee, wie man da ohne > bzw. < Relation arbeiten kann.

Danke!

[maddinac]

warum darf ich <,> denn nicht benutzen?

[JanTenner]

hm, also da steht doch und nicht . Oder hab ich da jetzt was falsch verstanden?

[maddinac]

aber müssen die jetzt immer dabeistehn?
Ich mein = steht da auch nicht, und das braucht man ja eigentlich immer

[JanTenner]

da steht aber phi aus FO. und laut skript ist das = da immer dabei (falls du das logische = meintest) (vgl. Skript s. 43).
Vielleicht haben die das auch nur vergessen - finde es ja selbst komisch

[maddinac]

na gut, dann muss ich das nochmal überdenken.

[fw]

Ja, im Kontext von MaLo ist mit "Prädikatenlogik" immer "Prädikatenlogik mit Identitätsrelation" gemeint (bei weiterführenden Vorlesungen von Prof. Grädel ist das nichtmehr unbedingt so!). D.h. "=" darf man quasi immer benutzen, alle anderen Relationssymbole und Funktionssymbole nur, wenn sie in der Signatur der Struktur vorkommen.

[JanTenner]

Hat jemand denn Tipps zu 2d? Habe mit überlegt alle Teiler von a "bilden zu lassen" und dann vorausszusetzen, dass alle diese Teiler gerade sind. Nur leider komme ich dann nicht mit 2 Variabeln x und y aus...

Danke

[Farmosch]

sagtmal, is die reihenfolge von existenzquantoren egal oder steht in aufgabe 3c) zwei verschiedene formeln?

[mirko]

sagtmal, is die reihenfolge von existenzquantoren egal oder steht in aufgabe 3c) zwei verschiedene formeln?

da stehen definitiv zwei verschiedene formeln - die frage ist, ob diese äquivalent sind - aber das sollst du ja rausfinden...

[MartinL]

Für diese "genau n" Quantoren ist auch tatsächlich die Reihenfolge nicht egal. Ich denke für normale Existenzquantoren schon, solange nichts dazwischen steht.

[Bruteforce-cat]

Hallo,
ich komme bei der Aufgabe 3a nicht damit klar, dass n Elemente eine Formel mit k+1 Parametern erfüllen sollen. Was genau ist damit wohl gemeint? Dass jede Auswahl von k+1 Variablen aus diesen n die Formel erfüllt, in jeder Permutation? Das erscheint mir zu weit hergeholt, bzw. es geht aus dem Text nicht hervor.
Wie versteht Ihr diese Aufgabe?

Danke und Grüße

[mirko]

Hallo,
ich komme bei der Aufgabe 3a nicht damit klar, dass n Elemente eine Formel mit k+1 Parametern erfüllen sollen. Was genau ist damit wohl gemeint? Dass jede Auswahl von k+1 Variablen aus diesen n die Formel erfüllt, in jeder Permutation? Das erscheint mir zu weit hergeholt, bzw. es geht aus dem Text nicht hervor.
Wie versteht Ihr diese Aufgabe?

Danke und Grüße

es gibt n möglichkeiten x zu belegen um die formel zu erfüllen - die y_i sind hier relativ irrelevant...