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

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

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

N =

2.Makkelijk

Precies één rij van de waarheidstabel maakt (b ∨ ¬a) ∨ ¬((b → c) ∧ c) onwaar. Klik op die rij.

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

1a = 1, b = 1, c = 1
2a = 1, b = 1, c = 0
3a = 1, b = 0, c = 1
4a = 1, b = 0, c = 0
5a = 0, b = 1, c = 1
6a = 0, b = 1, c = 0
7a = 0, b = 0, c = 1
8a = 0, b = 0, c = 0

3.Gemiddeld

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

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

N =

4.Gemiddeld

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

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

N =

5.Moeilijk

De premissen q ∨ p; ¬q ∨ r zijn gegeven. Welke conclusie volgt eruit? Klik erop.

q ∨ p¬q ∨ r

1q ∨ r
2¬p
3p ∧ r
4p ∨ r

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 = 2
2. a = 1, b = 0, c = 1
3. N = 5
4. N = 7
5. p ∨ r
6. ∀x (A(x) → ¬B(x))

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