Arbeitsblatt Aussagenlogik & Beweise mit Lösungen

Kostenloses Arbeitsblatt Aussagenlogik & Beweise zum Ausdrucken: 6 Aufgaben von leicht bis Prüfungsniveau, mit Lösungsschlüssel. Drucke es aus oder speichere es als PDF.

Neues ArbeitsblattOnline mit Tipps üben

Für Lehrkräfte: kostenlos ausdrucken, kopieren und im Unterricht verwenden. Jedes neue Arbeitsblatt hat neue Werte und einen eigenen Lösungsschlüssel. Über einen Link zu ExamProblems auf Ihrer Kursseite freuen wir uns.

Name: ____________________   Datum: ____________

1.Leicht
ab(¬a ↔ b) ∨ b11100100

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

(¬a ↔ b) ∨ b
  1. 1a = 1, b = 1
  2. 2a = 1, b = 0
  3. 3a = 0, b = 1
  4. 4a = 0, b = 0
2.Leicht
ab¬((a → b) → (a → ¬b))11100100

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

¬((a → b) → (a → ¬b))
  1. 1a = 1, b = 1
  2. 2a = 1, b = 0
  3. 3a = 0, b = 1
  4. 4a = 0, b = 0
3.Mittel
¬q ∧ ¬r¬r → ¬qq → r¬q → ¬r

Welche Formel ist logisch äquivalent zu r → q? Klicke sie an.

r → q
  1. 1¬q ∧ ¬r
  2. 2¬r → ¬q
  3. 3q → r
  4. 4¬q → ¬r
4.Mittel
¬a ∧ ¬c¬a → ¬ca → c¬c → ¬a

Welche Formel ist logisch äquivalent zu c → a? Klicke sie an.

c → a
  1. 1¬a ∧ ¬c
  2. 2¬a → ¬c
  3. 3a → c
  4. 4¬c → ¬a
5.Schwer
pqp → qqp11100100

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

p → qq∴ p
  1. 1p = 1, q = 1
  2. 2p = 1, q = 0
  3. 3p = 0, q = 1
  4. 4p = 0, q = 0
6.Schwer
¬ab ∧ cab

Die Prämissen b ∨ c; b → a; c → a sind gegeben. Welche Konklusion folgt daraus? Klicke sie an.

b ∨ cb → ac → a
  1. 1¬a
  2. 2b ∧ c
  3. 3a
  4. 4b

Lösungsschlüssel

  1. 1. a = 0, b = 0
  2. 2. a = 1, b = 1
  3. 3. ¬q → ¬r
  4. 4. ¬a → ¬c
  5. 5. p = 0, q = 1
  6. 6. a

Vollständige Schritt-für-Schritt-Lösungen: Übe dieses Thema auf examproblems.com.