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)11?10?01?00?

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

(q → ¬p) ∧ (¬p ∧ q)
N =
2.Leicht
pq¬(p ∧ q)11100100

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

¬(p ∧ q)
  1. 1p = 1, q = 1
  2. 2p = 1, q = 0
  3. 3p = 0, q = 1
  4. 4p = 0, q = 0
3.Mittel
TautologieKontradiktionKontingenz

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

((p → q) ∧ ¬q) → ¬p
  1. 1Tautologie
  2. 2Kontradiktion
  3. 3Kontingenz
4.Mittel
(a → b) ∧ (c → b)(a → b) ∨ (c → b)(a ∧ c) → ba ∨ (c → b)

Welche Formel ist logisch äquivalent zu (a ∨ c) → b? Klicke sie an.

(a ∨ c) → b
  1. 1(a → b) ∧ (c → b)
  2. 2(a → b) ∨ (c → b)
  3. 3(a ∧ c) → b
  4. 4a ∨ (c → b)
5.Schwer
∀x ¬A(x)∀x A(x)∃x A(x)∃x ¬A(x)

Welche Aussage ist äquivalent zu ¬∃x A(x), wenn die Negation ganz nach innen gezogen ist? Klicke sie an.

¬∃x A(x)
  1. 1∀x ¬A(x)
  2. 2∀x A(x)
  3. 3∃x A(x)
  4. 4∃x ¬A(x)
6.Schwer

Wie viele der 16 Zeilen der Wahrheitstafel machen ((a ∧ c) → b) ∧ ((d ∧ b) ∧ ¬(c ∧ d)) wahr? Nenne diese Zahl N.

((a ∧ c) → b) ∧ ((d ∧ b) ∧ ¬(c ∧ d))
N =

Lösungsschlüssel

  1. 1. N = 1
  2. 2. p = 1, q = 1
  3. 3. Tautologie
  4. 4. (a → b) ∧ (c → b)
  5. 5. ∀x ¬A(x)
  6. 6. N = 2

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