Werkblad Propositielogica & bewijzen met antwoorden

Precies één rij van de waarheidstabel maakt (¬p ∧ ¬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

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

Je wilt p → (q ∧ r) bewijzen met de contrapositie. Welke implicatie bewijs je in plaats daarvan? Klik erop.

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

Welke formule is logisch equivalent met c ∧ (b ∨ a)? Klik erop.

1. 1(c ∧ b) ∨ a
2. 2(c ∧ b) ∨ (c ∧ a)
3. 3c ∨ (b ∧ a)
4. 4(c ∨ b) ∧ (c ∨ a)

De redenering met premissen r → (p ∨ q); r en conclusie p is ongeldig. Klik op de rij van de waarheidstabel die een tegenvoorbeeld is.

1. 1p = 1, q = 1, r = 1
2. 2p = 1, q = 1, r = 0
3. 3p = 1, q = 0, r = 1
4. 4p = 1, q = 0, r = 0
5. 5p = 0, q = 1, r = 1
6. 6p = 0, q = 1, r = 0
7. 7p = 0, q = 0, r = 1
8. 8p = 0, q = 0, r = 0

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