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
pq¬((q ∨ p) ∧ ¬(p → q))11100100

Genau eine Zeile der Wahrheitstafel macht ¬((q ∨ p) ∧ ¬(p → q)) falsch. Klicke diese Zeile an.

¬((q ∨ p) ∧ ¬(p → q))
  1. 1p = 1, q = 1
  2. 2p = 1, q = 0
  3. 3p = 0, q = 1
  4. 4p = 0, q = 0
2.Leicht
pq(p ∧ q) ∨ ¬q11100100

Genau eine Zeile der Wahrheitstafel macht (p ∧ q) ∨ ¬q falsch. Klicke diese Zeile an.

(p ∧ q) ∨ ¬q
  1. 1p = 1, q = 1
  2. 2p = 1, q = 0
  3. 3p = 0, q = 1
  4. 4p = 0, q = 0
3.Mittel
r → ¬p¬r ∧ pr ∧ ¬p¬r → ¬p

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

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

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

r ↔ q
  1. 1(r → q) ∧ (¬q → ¬r)
  2. 2(r → q) ∧ (q → r)
  3. 3(r → q) ∨ (q → r)
  4. 4r ∧ q
5.Schwer
pq¬qp ∧ q

Die Prämissen p ∨ q; ¬p sind gegeben. Welche Konklusion folgt daraus? Klicke sie an.

p ∨ q¬p
  1. 1p
  2. 2q
  3. 3¬q
  4. 4p ∧ q
6.Schwer
prp → rrp11100100

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

p → rr∴ p
  1. 1p = 1, r = 1
  2. 2p = 1, r = 0
  3. 3p = 0, r = 1
  4. 4p = 0, r = 0

Lösungsschlüssel

  1. 1. p = 1, q = 0
  2. 2. p = 0, q = 1
  3. 3. r ∧ ¬p
  4. 4. (r → q) ∧ (q → r)
  5. 5. q
  6. 6. p = 0, r = 1

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