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

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

N =

2.Makkelijk

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

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

N =

3.Gemiddeld

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

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

N =

4.Gemiddeld

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

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

N =

5.Moeilijk

Welke uitspraak is equivalent met ¬∀x (P(x) ∨ Q(x)), met de ontkenning helemaal naar binnen geschoven? Klik erop.

¬∀x (P(x) ∨ Q(x))

1∀x (¬P(x) ∨ ¬Q(x))
2∃x (¬P(x) ∨ ¬Q(x))
3∀x (¬P(x) ∧ ¬Q(x))
4∃x (¬P(x) ∧ ¬Q(x))

6.Moeilijk

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

p → (q ∨ r)p∴ q

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

Antwoordenblad

1. N = 1
2. N = 2
3. N = 5
4. N = 1
5. ∃x (¬P(x) ∧ ¬Q(x))
6. p = 1, q = 0, r = 1

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