Hallo zusammen.
Aufgabe: Es soll gezeigt werden, dass man für F v G nicht immer äquivalente Hornformeln konstruieren kann, wenn F und G beliebige (komplexe) Formeln sind.

Wollte mal fragen, wie man daran herangehen kann. Geht es darum ein Gegenbeispiel zu finden?
Wenn ja, gibts da einen Trick, wie man ein solches findet?
Man kann doch einen beliebigen Wahrheitsverlauf erstellen. Aber wie stellt man sicher, dass man den nicht durch eine Hornformel darstellen kann?
Vielen Dank schon mal!

ja das geht mit Gegenbeispiel,

und wie man das findet ist eigentlich grotesk einfach bzw.
es gibt eh nur einen Spezialfall den man entweder kennt oder halt nicht

Tipp: schau doch vorher mal Aufgabe 3 an… [img]http://unimatix.sternenvolk.de/gfx/25.gif[/img]

So wie ich das verstehe, muss man alle Formeln so darstellen (sprich F und G so wählen), dass sie äquivalent zu (A v B) sind. Denn dazu gibt es keine äquivalenten Hornformeln (vgl. 7, 9 und 7, 10 im Skript). Die Frage ist nur ob man F und G auch einfach durch A und B ersetzen kann, da in der Aufgabenstellung extra steht, dass F und G beliebige KOMPLEXE Formeln seien sollen…