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 ¬(¬((p ∨ ¬q) ∧ q) ∧ (p ∧ ¬r)) is uitgeschreven. In hoeveel rijen N is p = 1 en r = 0?

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

N =

2.Makkelijk

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

(b ∨ ¬a) ∧ (¬a ∧ b)

N =

3.Gemiddeld

Welke formule is logisch equivalent met ¬(r ∧ p)? Klik erop.

¬(r ∧ p)

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

4.Gemiddeld

Welke formule is logisch equivalent met ¬(c → a)? Klik erop.

¬(c → a)

1¬c ∨ ¬a
2c → ¬a
3c ∧ ¬a
4¬c ∧ a

5.Moeilijk

De redenering met premissen q → r; p → r en conclusie q → p is ongeldig. Klik op de rij van de waarheidstabel die een tegenvoorbeeld is.

q → rp → r∴ q → p

1p = 1, q = 1, r = 1
2p = 1, q = 1, r = 0
3p = 1, q = 0, r = 1
4p = 1, q = 0, r = 0
5p = 0, q = 1, r = 1
6p = 0, q = 1, r = 0
7p = 0, q = 0, r = 1
8p = 0, q = 0, r = 0

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∃y ∀x ¬R(x, y)
3∀x ∀y ¬R(x, y)
4∀x ∃y ¬R(x, y)

Antwoordenblad

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

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