Arbeitsblatt Aussagenlogik & Beweise mit Lösungen

Wie viele Zeilen N hat die vollständige Wahrheitstafel von ((b → a) ∨ ¬(¬c → b)) ∧ (c → a)?

Genau eine Zeile der Wahrheitstafel macht (b ∨ a) → (¬a ∨ b) falsch. Klicke diese Zeile an.

1. 1a = 1, b = 1
2. 2a = 1, b = 0
3. 3a = 0, b = 1
4. 4a = 0, b = 0

Welche Formel ist logisch äquivalent zu b ∧ (a ∨ c)? Klicke sie an.

1. 1b ∨ (a ∧ c)
2. 2(b ∨ a) ∧ (b ∨ c)
3. 3(b ∧ a) ∨ c
4. 4(b ∧ a) ∨ (b ∧ c)

Ist ¬(r ∧ q) ↔ (¬r ∨ ¬q) eine Tautologie, eine Kontradiktion oder eine Kontingenz? Klicke deine Antwort an.

1. 1Tautologie
2. 2Kontradiktion
3. 3Kontingenz

Das Argument mit den Prämissen q ∨ r; q und der Konklusion ¬r ist ungültig. Klicke die Zeile der Wahrheitstafel an, die ein Gegenbeispiel ist.

1. 1q = 1, r = 1
2. 2q = 1, r = 0
3. 3q = 0, r = 1
4. 4q = 0, r = 0

Welche Aussage ist äquivalent zu ¬∀x ∃y R(x, y), wenn die Negation ganz nach innen gezogen ist? Klicke sie an.

1. 1∃y ∀x ¬R(x, y)
2. 2∀x ∃y ¬R(x, y)
3. 3∀x ∀y ¬R(x, y)
4. 4∃x ∀y ¬R(x, y)