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

(b ↔ a) ∨ b

N =

2.Makkelijk

De volledige waarheidstabel van ¬((¬(c ∧ ¬b) → (c → a)) → (b ∨ a)) is uitgeschreven. In hoeveel rijen N is a = 1 en b = 0?

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

N =

3.Gemiddeld

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

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

N =

4.Gemiddeld

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

(p ∨ r) → q

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

5.Moeilijk

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

¬∀x (A(x) → ∃y R(x, y))

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

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