Werkblad Propositielogica & bewijzen met antwoorden

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

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

Is ((p → r) ∧ ¬p) → ¬r een tautologie, een contradictie of een contingentie? Klik op je antwoord.

1. 1tautologie
2. 2contradictie
3. 3contingentie

In hoeveel van de 8 rijen van zijn waarheidstabel is (r ∧ p) ∧ ((r ↔ q) ∧ (q ∨ ¬p)) waar? Noem dit aantal N.

De redenering met premissen a → (c ∨ b); a en conclusie c is ongeldig. Klik op de rij van de waarheidstabel die een tegenvoorbeeld is.

1. 1a = 1, b = 1, c = 1
2. 2a = 1, b = 1, c = 0
3. 3a = 1, b = 0, c = 1
4. 4a = 1, b = 0, c = 0
5. 5a = 0, b = 1, c = 1
6. 6a = 0, b = 1, c = 0
7. 7a = 0, b = 0, c = 1
8. 8a = 0, b = 0, c = 0

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

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