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

p ∨ (p ∧ q)

N =

2.Makkelijk

Precies één rij van de waarheidstabel maakt q ∨ (q ↔ p) onwaar. Klik op die rij.

q ∨ (q ↔ p)

1p = 1, q = 1
2p = 1, q = 0
3p = 0, q = 1
4p = 0, q = 0

3.Gemiddeld

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

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

N =

4.Gemiddeld

In hoeveel van de 8 rijen van zijn waarheidstabel is ¬(c ∧ b) ↔ (a → (b ↔ ¬a)) waar? Noem dit aantal N.

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

N =

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 (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))

Antwoordenblad

1. N = 2
2. p = 1, q = 0
3. N = 7
4. N = 6
5. ∃x (F(x) ∧ ¬G(x))
6. ∃x (¬F(x) ∧ ¬G(x))

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