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 p → q waar?

p → q

N =

2.Makkelijk

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

¬(¬q ↔ ¬(r → p)) → (q ↔ p)

N =

3.Gemiddeld

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

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

N =

4.Gemiddeld

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

((a ↔ b) ∨ a) ∧ ¬(c ↔ b)

N =

5.Moeilijk

Welke uitspraak is equivalent met ¬∀x (P(x) ∨ Q(x)), met de ontkenning helemaal naar binnen geschoven? Klik erop.

¬∀x (P(x) ∨ Q(x))

1∃x (¬P(x) ∧ ¬Q(x))
2∀x (¬P(x) ∨ ¬Q(x))
3∃x (¬P(x) ∨ ¬Q(x))
4∀x (¬P(x) ∧ ¬Q(x))

6.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)

Antwoordenblad

1. N = 3
2. N = 5
3. N = 6
4. N = 3
5. ∃x (¬P(x) ∧ ¬Q(x))
6. ∃x ∀y ¬R(x, y)

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