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
pqq → p11100100

Genau eine Zeile der Wahrheitstafel macht q → p falsch. Klicke diese Zeile an.

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¬q ∨ p11100100

Genau eine Zeile der Wahrheitstafel macht ¬q ∨ p falsch. Klicke diese Zeile an.

¬q ∨ p
  1. 1p = 1, q = 1
  2. 2p = 1, q = 0
  3. 3p = 0, q = 1
  4. 4p = 0, q = 0
3.Mittel
TautologieKontradiktionKontingenz

Ist ((b ∨ a) ∧ b) → ¬a eine Tautologie, eine Kontradiktion oder eine Kontingenz? Klicke deine Antwort an.

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

Du willst (c ∧ b) → a durch Widerspruch beweisen. Welche Aussage nimmst du am Anfang an? Klicke sie an.

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

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. 1∃x (P(x) ∧ ¬Q(x))
  2. 2∃x (¬P(x) ∧ Q(x))
  3. 3∀x (P(x) → ¬Q(x))
  4. 4∀x (P(x) ∧ ¬Q(x))
6.Schwer
r¬pr ∧ qp

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

r ∨ qr → pq → p
  1. 1r
  2. 2¬p
  3. 3r ∧ q
  4. 4p

Lösungsschlüssel

  1. 1. p = 0, q = 1
  2. 2. p = 0, q = 1
  3. 3. Kontingenz
  4. 4. (c ∧ b) ∧ ¬a
  5. 5. ∃x (P(x) ∧ ¬Q(x))
  6. 6. p

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