[MaLo] 2. Ãœbungsblatt

[Alexander Urban]

Ist es richtig, dass bei 1b) alle Formeln zu Hornformeln äquivalent sind?

Wie sieht es mit dem Formalismus bei der 2) aus? Reicht einfache Anwendung des "Markierungsalgorithmus" durch Unterstreichen? Wie mache ich die Reihenfolge der Schritte deutlich?

Stimmt bei 5a) meine Vermutung, dass es immer gilt?

Habe ich die Formel aus Aufgabe 5c) tatsächlich so zu verstehen, dass es sich bei der Menge Phi nur um eine Formel, nämlich der Konjunktion aller unendlich vielen X_i (i Element n) handelt?
Wenn ja: Können unendlich viele Variablen alle den Wert 1 haben?
(Statistisch gesehen so unwahrscheinlich, dass man diese Hypothese mit 99,99999...% Wahrscheinlichkeit verwerfen und das Gegenteil annehmen könnte )

[AGo]

Macht Sinn machen Sinn?

[foobar]

Stimmt bei 5a) meine Vermutung, dass es immer gilt?

Nein (imho), betrachte die 3 Moeglichkeiten fuer .

Habe ich die Formel aus Aufgabe 5c) tatsächlich so zu verstehen, dass es sich bei der Menge Phi nur um eine Formel, nämlich der Konjunktion aller unendlich vielen X_i (i Element n) handelt?

Nein, fuer jedes ist es eine Formel. Ich sehe aber gerade nicht, wie man dazu eine unabhaengige Formelmenge angeben koennte.


PS: Gib MaLo nicht auf, es kostet ein paar Ueberlegungen, aber mir hat es nachher doch Spass gemacht :)

[foobar]

Habe ich die Formel aus Aufgabe 5c) tatsächlich so zu verstehen, dass es sich bei der Menge Phi nur um eine Formel, nämlich der Konjunktion aller unendlich vielen X_i (i Element n) handelt?

Nein, fuer jedes ist es eine Formel. Ich sehe aber gerade nicht, wie man dazu eine unabhaengige Formelmenge angeben koennte.

Obwohl, muesste eigentlich ganz einfach sein :)

[foogy]

Zu Aufgabe 1(a):
Gibts da überhaupt was zu zeigen? Klar, sonst würde die Aufgabe nicht so lauten. Aber wenn und Modelle sind, dann gilt und .
Aber daraus folgt ja sofort, dass auch sein muss, weil der Schnitt ja so definiert ist.

Aber das kann es doch jetzt nicht sein, hat ja noch nichts mit Horn-Formeln zu tun.

[seth]

So ist der Schnitt ganz und gar nicht definiert. Er ist für den Wahrheitswert jeder Aussagenvariablen seperat definiert, nicht für ganze Formeln.

[Hexa]

So ist der Schnitt ganz und gar nicht definiert. Er ist für den Wahrheitswert jeder Aussagenvariablen seperat definiert, nicht für ganze Formeln.

Mit X ist aber auch nicht gerade das positive Literat gemeint, wenn vorhanden, oder?

[foogy]

So ist der Schnitt ganz und gar nicht definiert. Er ist für den Wahrheitswert jeder Aussagenvariablen seperat definiert, nicht für ganze Formeln.

Danke seth!

[seth]

So ist der Schnitt ganz und gar nicht definiert. Er ist für den Wahrheitswert jeder Aussagenvariablen seperat definiert, nicht für ganze Formeln.

Mit X ist aber auch nicht gerade das positive Literat gemeint, wenn vorhanden, oder?

Ich denke es ist jedes X gemeint, das I auf eine Null oder eine Eins wirft. Es geht also eben _nicht_ um Literale, sondern die Interpretation der Aussagenvariablen.

[Hexa]

Schade, wäre sonst nett zu beweisen.

[nathan99]

Was soll man denn bitte bei Aufgabe 2 machen?
Ich reg mich seit zwei Semester jedesmal über diese beschissen gestellte Aufgabe auf. Und ich hab den "Trick" wieder vergessen.
Leider komme ich erst am WE an meine Unterlagen vom letzten Jahr.

Echt zum Kotzen.

[Alexander Urban]

Wärst besser heute in der Übungsgruppe 11:30/5055 gewesen. Da wurde eine vergleichbare Aufgabe vorgemacht...

Du markierst (unterstreichst) auf der linken Seite diejenigen Stoffe, die gegeben sind. Dann markierst du in allen links komplett unterstrichenen Formeln die rechte Seite. Die dann rechts neu markierten Stoffe streichst du links an. Dann markierst du in allen links komplett unterstrichenen Formeln die rechte Seite.
usw.

bis dieser Algorithmus irgendwann mangels weiterer anstreichbarer Formeln abbricht.

[nathan99]

Und das kauft mir der Lehrstuhl als "Lösung" ab?

Grüsse

[Alexander Urban]

Naja, wenn es im Tutorium so gelöst wurde, muss er es als Lösung akzeptieren... wozu sind die Platzaufgaben sonst gut?

[lebowski]

Stimmt bei 5a) meine Vermutung, dass es immer gilt?

Nein (imho), betrachte die 3 Moeglichkeiten fuer .

oh wohl !! (imho)
von was für drei möglichkeiten sprichst du?
setz doch oben in die definition einfach mal für "groß fi" eine einelementige formelmenge ein!