Arbeitsblatt Aussagenlogik & Beweise mit Lösungen

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

Genau eine Zeile der Wahrheitstafel macht (a ∨ c) ∧ (¬b ∧ (c ↔ b)) wahr. Klicke diese Zeile an.

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

Ist ¬((p ∧ r) → p) eine Tautologie, eine Kontradiktion oder eine Kontingenz? Klicke deine Antwort an.

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

Welche Formel ist logisch äquivalent zu ¬(q ∨ p)? Klicke sie an.

1. 1¬q ∨ ¬p
2. 2¬q ∧ p
3. 3q ∨ ¬p
4. 4¬q ∧ ¬p

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

1. 1∀x (F(x) → ¬G(x))
2. 2∃x (F(x) → ¬G(x))
3. 3∃x (F(x) ∧ ¬G(x))
4. 4∃x (¬F(x) ∧ G(x))

Wie viele der 16 Zeilen der Wahrheitstafel machen ¬(b ∨ (a ∨ d)) ∧ ((b ∧ ¬c) ∨ ¬(c → a)) wahr? Nenne diese Zahl N.