Werkblad Propositielogica & bewijzen met antwoorden

Gratis printbaar werkblad Propositielogica & bewijzen: 6 opgaven van makkelijk tot tentamenniveau, met antwoordenblad. Print het of sla het op als pdf.

Nieuw werkblad Online oefenen met hints

Voor docenten: gratis te printen, kopiëren en in de les te gebruiken. Elk nieuw werkblad heeft nieuwe waarden en een eigen antwoordblad. Een link naar ExamProblems op je cursuspagina wordt gewaardeerd.

Naam: ____________________ Datum: ____________

1.Makkelijk

Maak de waarheidstabel af (1 = waar, 0 = onwaar). In hoeveel rijen N is (a → b) ↔ ¬(b ∧ a) waar?

(a → b) ↔ ¬(b ∧ a)

N =

2.Makkelijk

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

¬(¬q ∧ (¬q → ¬p))

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

3.Gemiddeld

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

(¬p ∧ (r ∧ q)) ∧ ¬(q → (p ∧ r))

N =

4.Gemiddeld

Welke formule is logisch equivalent met ¬(b → c)? Klik erop.

¬(b → c)

1b → ¬c
2b ∧ ¬c
3¬b ∧ c
4¬b → ¬c

5.Moeilijk

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

(¬c → b) ∧ ¬(a ∨ (d ∧ a))

N =

6.Moeilijk

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

¬∀x ∀y (R(x, y) → R(y, x))

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

Antwoordenblad

1. N = 2
2. p = 0, q = 0
3. N = 1
4. b ∧ ¬c
5. N = 6
6. ∃x ∃y (R(x, y) ∧ ¬R(y, x))

Volledige stapsgewijze oplossingen: oefen dit onderwerp op examproblems.com.