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
pqp → (¬q ↔ ¬p)11100100

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

p → (¬q ↔ ¬p)
  1. 1p = 1, q = 1
  2. 2p = 1, q = 0
  3. 3p = 0, q = 1
  4. 4p = 0, q = 0
2.Leicht
pq¬p ∨ (p → q)11?10?01?00?

Vervollständige die Wahrheitstafel (1 = wahr, 0 = falsch). In wie vielen Zeilen N ist ¬p ∨ (p → q) wahr?

¬p ∨ (p → q)
N =
3.Mittel
pqr¬rq → ¬r((q ∧ p) → p) ∧ (q → ¬r)111?110?101?100?011?010?001?000?

In wie vielen der 8 Zeilen ihrer Wahrheitstafel ist ((q ∧ p) → p) ∧ (q → ¬r) wahr? Nenne diese Zahl N.

((q ∧ p) → p) ∧ (q → ¬r)
N =
4.Mittel
q ∧ (r → p)(q → p) ∧ (r → p)q → (r → p)(q → r) → p

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

(q ∧ r) → p
  1. 1q ∧ (r → p)
  2. 2(q → p) ∧ (r → p)
  3. 3q → (r → p)
  4. 4(q → r) → p
5.Schwer
qrr ∨ qr¬q11100100

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

r ∨ qr∴ ¬q
  1. 1q = 1, r = 1
  2. 2q = 1, r = 0
  3. 3q = 0, r = 1
  4. 4q = 0, r = 0
6.Schwer
¬qrqr ∧ p

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

r ∨ pr → qp → q
  1. 1¬q
  2. 2r
  3. 3q
  4. 4r ∧ p

Lösungsschlüssel

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

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