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

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

¬q → p

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

2.Makkelijk

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

p ∨ q

N =

3.Gemiddeld

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

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

N =

4.Gemiddeld

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

(r ∨ (r ↔ p)) ∨ (p ∧ ¬q)

N =

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∃y ∀x ¬R(x, y)

6.Moeilijk

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

¬∃x (A(x) ∧ B(x))

1∀x (A(x) → ¬B(x))
2∃x (¬A(x) ∧ ¬B(x))
3∀x (¬A(x) ∧ ¬B(x))
4∀x (A(x) ∧ ¬B(x))

Antwoordenblad

1. p = 0, q = 0
2. N = 3
3. N = 5
4. N = 7
5. ∃x ∀y ¬R(x, y)
6. ∀x (A(x) → ¬B(x))

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