Arbeitsblatt Aussagenlogik & Beweise mit Lösungen

Die vollständige Wahrheitstafel von ¬(((a → c) ↔ b) → (¬(b ∨ a) ∨ c)) ist ausgeschrieben. In wie vielen Zeilen N ist a = 1 und b = 0?

Die vollständige Wahrheitstafel von (¬(¬q ∨ p) ∨ p) ↔ ((r → q) ∨ r) ist ausgeschrieben. In wie vielen Zeilen N ist q = 1 und r = 0?

Du willst ¬r → (q ∧ p) durch Widerspruch beweisen. Welche Aussage nimmst du am Anfang an? Klicke sie an.

1. 1¬¬r → ¬(q ∧ p)
2. 2¬¬r ∧ ¬(q ∧ p)
3. 3¬¬r ∧ (q ∧ p)
4. 4¬r ∧ ¬(q ∧ p)

In wie vielen der 8 Zeilen ihrer Wahrheitstafel ist ((¬q → p) ∨ ¬r) ∨ (p ∧ (r ∧ ¬q)) wahr? Nenne diese Zahl N.

Das Argument mit den Prämissen b → a; c → a und der Konklusion b → c ist ungültig. Klicke die Zeile der Wahrheitstafel an, die ein Gegenbeispiel ist.

1. 1a = 1, b = 1, c = 1
2. 2a = 1, b = 1, c = 0
3. 3a = 1, b = 0, c = 1
4. 4a = 1, b = 0, c = 0
5. 5a = 0, b = 1, c = 1
6. 6a = 0, b = 1, c = 0
7. 7a = 0, b = 0, c = 1
8. 8a = 0, b = 0, c = 0

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

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