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) ↔ a) waar?

¬((a → ¬b) ↔ a)

N =

2.Makkelijk

De volledige waarheidstabel van ¬((r ∧ q) ∧ ((r ∧ ¬p) ∧ (q ↔ p))) is uitgeschreven. In hoeveel rijen N is q = 1 en r = 0?

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

N =

3.Gemiddeld

Je wilt (a ∨ c) → ¬b bewijzen uit het ongerijmde. Welke uitspraak neem je aan het begin aan? Klik erop.

(a ∨ c) → ¬b

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

4.Gemiddeld

Je wilt ¬q → (p ∧ r) bewijzen met de contrapositie. Welke implicatie bewijs je in plaats daarvan? Klik erop.

¬q → (p ∧ r)

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

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