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 ¬(p ↔ q) ∨ ¬q waar?

¬(p ↔ q) ∨ ¬q

N =

2.Makkelijk

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

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

N =

3.Gemiddeld

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

(b ∧ c) → ¬a

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

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) → ∃y R(x, y)), met de ontkenning helemaal naar binnen geschoven? Klik erop.

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

1∃x (¬F(x) ∧ ∃y R(x, y))
2∀x (F(x) ∧ ∀y ¬R(x, y))
3∃x (F(x) ∧ ∀y ¬R(x, y))
4∃x (F(x) → ∀y ¬R(x, y))

6.Moeilijk

In hoeveel van de 16 rijen van de waarheidstabel is (q → r) ∧ ((p ∨ r) → s) waar? Noem dit aantal N.

(q → r) ∧ ((p ∨ r) → s)

N =

Antwoordenblad

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

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