Werkblad Propositielogica & bewijzen met antwoorden

Maak de waarheidstabel af (1 = waar, 0 = onwaar). In hoeveel rijen N is (q ∨ p) → p waar?

Precies één rij van de waarheidstabel maakt q ↔ (p ∧ q) onwaar. Klik op die rij.

1. 1p = 1, q = 1
2. 2p = 1, q = 0
3. 3p = 0, q = 1
4. 4p = 0, q = 0

Welke formule is logisch equivalent met (q ∨ r) → p? Klik erop.

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

Je wilt a → c bewijzen uit het ongerijmde. Welke uitspraak neem je aan het begin aan? Klik erop.

1. 1a ∧ ¬c
2. 2¬a → ¬c
3. 3¬a ∧ ¬c
4. 4¬a ∧ c

Welke uitspraak is equivalent met ¬∀x (P(x) ∨ Q(x)), met de ontkenning helemaal naar binnen geschoven? Klik erop.

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))

Welke uitspraak is equivalent met ¬∃x ∀y R(x, y), met de ontkenning helemaal naar binnen geschoven? Klik erop.

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