2. Gruppenübung, Mathematische Logik, SS 2015
Aufgabe 1
Welche der folgenden Mengen sind funktional vollständig?
(i) {0,∨};
(ii) {0,→};
Aufgabe 2
Verwenden Sie den Markierungsalgorithmus für Horn-Formeln, um zu überprü- fen, ob die folgende Folgerungsbeziehung gilt.
{X∧W → Q,X∧Q → P,Y →W,X,P∧Q∧W →Y} |= W →(X∧Y∧Z)
Aufgabe 3
Sei Φ1 ( Φ2 ( · · · ( Φn ( · · · eine zunehmende unendliche Mengenfolge von aussagenlogischen Formeln. Zeigen Sie, dass die Vereinigung Φ :=Sn∈NΦn genau dann erfüllbar ist, wenn alle Φn erfüllbar sind.