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

Hoeveel rijen N heeft de volledige waarheidstabel van (b → ¬c) ↔ ((a → b) ∨ ¬c)?

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

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

¬((a ∨ c) ∨ (¬b ∧ ¬a))
N =
3.Gemiddeld
abc¬(b → c)(a ∨ c) → ¬(b → c)(a ∨ b) → ((a ∨ c) → ¬(b → c))111?110?101?100?011?010?001?000?

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

(a ∨ b) → ((a ∨ c) → ¬(b → c))
N =
4.Gemiddeld
tautologiecontradictiecontingentie

Is (r ∨ q) ∧ (¬r ∧ ¬q) een tautologie, een contradictie of een contingentie? Klik op je antwoord.

(r ∨ q) ∧ (¬r ∧ ¬q)
  1. 1tautologie
  2. 2contradictie
  3. 3contingentie
5.Moeilijk
∃x ∃y (¬R(x, y) ∧ ¬R(y, x))∃x ∃y (R(x, y) → ¬R(y, x))∀x ∀y (R(x, y) ∧ ¬R(y, x))∃x ∃y (R(x, y) ∧ ¬R(y, x))

Welke uitspraak is equivalent met ¬∀x ∀y (R(x, y) → R(y, x)), met de ontkenning helemaal naar binnen geschoven? Klik erop.

¬∀x ∀y (R(x, y) → R(y, x))
  1. 1∃x ∃y (¬R(x, y) ∧ ¬R(y, x))
  2. 2∃x ∃y (R(x, y) → ¬R(y, x))
  3. 3∀x ∀y (R(x, y) ∧ ¬R(y, x))
  4. 4∃x ∃y (R(x, y) ∧ ¬R(y, x))
6.Moeilijk
¬q → ¬pp → qq → pq ∧ p

De premissen q → r; r → p zijn gegeven. Welke conclusie volgt eruit? Klik erop.

q → rr → p
  1. 1¬q → ¬p
  2. 2p → q
  3. 3q → p
  4. 4q ∧ p

Antwoordenblad

  1. 1. N = 8
  2. 2. N = 1
  3. 3. N = 4
  4. 4. contradictie
  5. 5. ∃x ∃y (R(x, y) ∧ ¬R(y, x))
  6. 6. q → p

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