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)11100100

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

¬((q ↔ p) ∧ p)
  1. 1p = 1, q = 1
  2. 2p = 1, q = 0
  3. 3p = 0, q = 1
  4. 4p = 0, q = 0
2.Leicht
ab¬b ∨ a11100100

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

¬b ∨ a
  1. 1a = 1, b = 1
  2. 2a = 1, b = 0
  3. 3a = 0, b = 1
  4. 4a = 0, b = 0
3.Mittel
¬a ∧ ¬c¬c → ¬a¬a → ¬ca → c

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

c → a
  1. 1¬a ∧ ¬c
  2. 2¬c → ¬a
  3. 3¬a → ¬c
  4. 4a → c
4.Mittel
TautologieKontradiktionKontingenz

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

((b → a) ∧ ¬b) → ¬a
  1. 1Tautologie
  2. 2Kontradiktion
  3. 3Kontingenz
5.Schwer
¬c ∧ ac¬ca

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

c → bb → a¬a
  1. 1¬c ∧ a
  2. 2c
  3. 3¬c
  4. 4a
6.Schwer
¬rr ∨ qr ∧ qp ∨ q

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

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

Lösungsschlüssel

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

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