Werkblad Propositielogica & bewijzen met antwoorden

Maak de waarheidstabel af (1 = waar, 0 = onwaar). In hoeveel rijen N is ¬((¬b ∨ c) ∧ a) 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

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

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

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

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)

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

1. 1a = 1, c = 1
2. 2a = 1, c = 0
3. 3a = 0, c = 1
4. 4a = 0, c = 0