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 (q → ¬p) → ¬(p ∨ q) waar?

(q → ¬p) → ¬(p ∨ q)

N =

2.Makkelijk

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

¬p ↔ (q ∨ p)

N =

3.Gemiddeld

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

b → c

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

4.Gemiddeld

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

p ∨ (q ∧ r)

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

5.Moeilijk

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

¬∃x ∀y R(x, y)

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

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. N = 1
3. ¬c → ¬b
4. (p ∨ q) ∧ (p ∨ r)
5. ∀x ∃y ¬R(x, y)
6. ∃x ∃y (R(x, y) ∧ ¬R(y, x))

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