Werkblad Propositielogica & bewijzen met antwoorden

De volledige waarheidstabel van (c ∧ (a → b)) ∨ (¬c ↔ (b ∧ a)) is uitgeschreven. In hoeveel rijen N is b = 1 en c = 0?

Precies één rij van de waarheidstabel maakt ¬((q → ¬p) ∨ ¬(q ∨ p)) waar. 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 ∨ p) → r? Klik erop.

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

In hoeveel van de 8 rijen van zijn waarheidstabel is (c → (¬a → b)) → (¬(c ∧ a) ∨ b) waar? Noem dit aantal N.

Welke uitspraak is equivalent met ¬∃x (F(x) ∧ G(x)), met de ontkenning helemaal naar binnen geschoven? Klik erop.

1. 1∀x (¬F(x) ∧ ¬G(x))
2. 2∃x (F(x) → ¬G(x))
3. 3∀x (F(x) ∧ ¬G(x))
4. 4∀x (F(x) → ¬G(x))

De redenering met premissen c → a; a en conclusie c 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