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 werkbladOnline 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
pqr¬(r ∨ p) → q111?110?101?100?011?010?001?000?

Maak de waarheidstabel af (1 = waar, 0 = onwaar). In hoeveel rijen N is ¬(r ∨ p) → q waar?

¬(r ∨ p) → q
N =
2.Makkelijk
abc¬((b ∧ ¬c) ∨ (¬a ∨ b))111?110?101?100?011?010?001?000?

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

¬((b ∧ ¬c) ∨ (¬a ∨ b))
N =
3.Gemiddeld
q ∧ (p → r)q → (p → r)(q → r) ∧ (p → r)(q → p) → r

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

(q ∧ p) → r
  1. 1q ∧ (p → r)
  2. 2q → (p → r)
  3. 3(q → r) ∧ (p → r)
  4. 4(q → p) → r
4.Gemiddeld
(p ∧ q) → r(p → r) ∨ (q → r)p ∨ (q → r)(p → r) ∧ (q → r)

Welke formule is logisch equivalent met (p ∨ q) → r? Klik erop.

(p ∨ q) → r
  1. 1(p ∧ q) → r
  2. 2(p → r) ∨ (q → r)
  3. 3p ∨ (q → r)
  4. 4(p → r) ∧ (q → r)
5.Moeilijk
∀x (¬F(x) ∧ ¬G(x))∀x (F(x) ∧ ¬G(x))∃x (F(x) → ¬G(x))∀x (F(x) → ¬G(x))

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. 1∀x (¬F(x) ∧ ¬G(x))
  2. 2∀x (F(x) ∧ ¬G(x))
  3. 3∃x (F(x) → ¬G(x))
  4. 4∀x (F(x) → ¬G(x))
6.Moeilijk
∃x ∃y ¬R(x, y)∀x ∀y ¬R(x, y)∃x ∀y ¬R(x, y)∀x ∃y ¬R(x, y)

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

Antwoordenblad

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

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