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 q ∧ (q ∨ p) wahr?

q ∧ (q ∨ p)

N =

2.Leicht

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

¬(b → (¬a ∧ b))

N =

3.Mittel

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

(q ∧ r) → p

1q → (r → p)
2(q → p) ∧ (r → p)
3(q → r) → p
4q ∧ (r → p)

4.Mittel

In wie vielen der 8 Zeilen ihrer Wahrheitstafel ist ¬((a → ¬c) → (¬(c ∨ b) ∨ a)) wahr? Nenne diese Zahl N.

¬((a → ¬c) → (¬(c ∨ b) ∨ a))

N =

5.Schwer

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

¬∀x (F(x) → G(x))

1∀x (F(x) ∧ ¬G(x))
2∃x (¬F(x) ∧ G(x))
3∃x (F(x) → ¬G(x))
4∃x (F(x) ∧ ¬G(x))

6.Schwer

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

¬∀x (P(x) ∨ Q(x))

1∃x (¬P(x) ∨ ¬Q(x))
2∃x (¬P(x) ∧ ¬Q(x))
3∀x (¬P(x) ∧ ¬Q(x))
4∀x (¬P(x) ∨ ¬Q(x))

Lösungsschlüssel

1. N = 2
2. N = 1
3. q → (r → p)
4. N = 3
5. ∃x (F(x) ∧ ¬G(x))
6. ∃x (¬P(x) ∧ ¬Q(x))

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