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 Arbeitsblatt Online 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

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

¬(p ∨ ¬r) ∨ ¬q

N =

2.Leicht

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

¬((¬p ∨ ¬q) ∧ q)

N =

3.Mittel

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

(p ∧ q) ∧ (¬(q ↔ ¬r) → (p ∧ ¬r))

N =

4.Mittel

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

p ↔ q

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

5.Schwer

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

a → b¬b

1¬a
2b
3a
4¬a ∧ b

6.Schwer

Welche Aussage ist äquivalent zu ¬∀x ∀y (R(x, y) → R(y, x)), wenn die Negation ganz nach innen gezogen ist? Klicke sie an.

¬∀x ∀y (R(x, y) → R(y, x))

1∀x ∀y (R(x, y) ∧ ¬R(y, x))
2∃x ∃y (¬R(x, y) ∧ ¬R(y, x))
3∃x ∃y (R(x, y) ∧ ¬R(y, x))
4∃x ∃y (R(x, y) → ¬R(y, x))

Lösungsschlüssel

1. N = 5
2. N = 3
3. N = 1
4. (p → q) ∧ (q → p)
5. ¬a
6. ∃x ∃y (R(x, y) ∧ ¬R(y, x))

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