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

Hoeveel rijen N heeft de volledige waarheidstabel van (q → (r → p)) ∧ ((¬p ∨ ¬r) ↔ q)?

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

N =

2.Makkelijk

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

¬(q ∨ (p ∧ ¬q))

N =

3.Gemiddeld

Je wilt (c ∧ a) → ¬b bewijzen met de contrapositie. Welke implicatie bewijs je in plaats daarvan? Klik erop.

(c ∧ a) → ¬b

1¬¬b → ¬(c ∧ a)
2¬(c ∧ a) → ¬¬b
3¬b → (c ∧ a)
4(c ∧ a) ∧ ¬¬b

4.Gemiddeld

Je wilt (q ∨ p) → ¬r bewijzen uit het ongerijmde. Welke uitspraak neem je aan het begin aan? Klik erop.

(q ∨ p) → ¬r

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

5.Moeilijk

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

¬∃x (F(x) → G(x))

1∀x (F(x) → ¬G(x))
2∀x (¬F(x) → ¬G(x))
3∀x (F(x) ∧ ¬G(x))
4∃x (F(x) ∧ ¬G(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∃x ∃y ¬R(x, y)

Antwoordenblad

1. N = 8
2. N = 1
3. ¬¬b → ¬(c ∧ a)
4. (q ∨ p) ∧ ¬¬r
5. ∀x (F(x) ∧ ¬G(x))
6. ∀x ∃y ¬R(x, y)

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