Volltext
Peter Schroeder-Heister/ Bartosz Więckowski
1. Zeigen Sie (ausschließlich unter Verwendung der Ableitungsregeln von NSAL):
a) {A ↔ B, C → B, A ∨ C} |–NSAL B (3 Punkte)
b) {¬D ∧ ¬E} |–NSAL D ↔ E (4 Punkte)
2. Zeigen Sie, dass das folgende Satzpaar in NSAL äquivalent ist.
¬(F ∧ ¬K) und ¬F ∨ K (6 Punkte) 3. Zeigen Sie, dass die folgende Satzmenge in NSAL+ inkonsistent ist.
{¬(I ∧ (G ∨ H)), ¬G → ¬(G → H), (H → G) → I} (7 Punkte)
ÄHNLICHE DOKUMENTE
(wenn die Menge aller geometrischen Figuren als Individuenbereich gewählt wird mit Vx: ‚x ist ein Viereck’ und Rx: ‚x ist rund’). Symbolisieren Sie die folgenden Sätze in
Konstruieren Sie für jedes Satzpaar eine Interpretation bezüglich der einer der Sätze wahr ist und der
In Aufgabe 1 vom Übungsblatt 10 sollten Sie die betreffende Übung nur deswegen weglassen, weil KNSPL bis zum Zeitpunkt der Aufgabenstellung noch nicht behandelt
Satzmenge wahr wird. Formulieren Sie die entsprechenden Dekompositionsregeln.. Symbolisieren Sie die folgenden Sätze in PLI, ohne Satzbuchstaben zu verwenden. Verwenden Sie dabei
Ein weiteres Fragment einer Wahrheitswertzuordnung unter der jedes Element dieser Satz- menge wahr wird:.. C: f, D: f, E: f (zweiter
1. Welche der folgenden Aussagen sind wahr und welche sind falsch? Begründen Sie Ihre Antworten. Geben Sie Beispiele, wo es Ihnen geeignet erscheint. a) Jedes Argument mit einer
Peter Schroeder-Heister/ Bartosz Więckowski Einführung in die Logik (SS 2004)1.
Bestimmen Sie, ob die folgenden Modalverkn¨ upfungen affirmativ oder nega- tiv sind und geben Sie ihre
