Arbeitsblatt Aussagenlogik & Beweise mit Lösungen

Vervollständige die Wahrheitstafel (1 = wahr, 0 = falsch). In wie vielen Zeilen N ist a ↔ ¬b wahr?

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

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

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

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

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

Das Argument mit den Prämissen c → b; a → b und der Konklusion c → a 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 F(x), wenn die Negation ganz nach innen gezogen ist? Klicke sie an.

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