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¬p ↔ ¬q11?10?01?00?

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

¬p ↔ ¬q
N =
2.Leicht
pqr¬(¬r → p) ↔ (¬q ∨ (q ∧ r))111?110?101?100?011?010?001?000?

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

¬(¬r → p) ↔ (¬q ∨ (q ∧ r))
N =
3.Mittel
p ∧ ¬q¬p ∧ qp → ¬q¬p ∨ ¬q

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

¬(p → q)
  1. 1p ∧ ¬q
  2. 2¬p ∧ q
  3. 3p → ¬q
  4. 4¬p ∨ ¬q
4.Mittel
¬r → ¬q¬r ∨ q¬r ∧ qq → r

Welche Formel ist logisch äquivalent zu r → q? Klicke sie an.

r → q
  1. 1¬r → ¬q
  2. 2¬r ∨ q
  3. 3¬r ∧ q
  4. 4q → r
5.Schwer

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

((c ∨ a) ↔ a) → (¬d → (b ∨ c))
N =
6.Schwer
∃x ∃y (R(x, y) ∧ ¬R(y, x))∃x ∃y (R(x, y) → ¬R(y, x))∃x ∃y (¬R(x, y) ∧ ¬R(y, x))∀x ∀y (R(x, y) ∧ ¬R(y, x))

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. 1∃x ∃y (R(x, y) ∧ ¬R(y, x))
  2. 2∃x ∃y (R(x, y) → ¬R(y, x))
  3. 3∃x ∃y (¬R(x, y) ∧ ¬R(y, x))
  4. 4∀x ∀y (R(x, y) ∧ ¬R(y, x))

Lösungsschlüssel

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

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