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
ab(b ∧ a) ∨ (a → b)11?10?01?00?

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

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

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

(p ↔ q) ∨ (q ∧ r)
N =
3.Gemiddeld
tautologiecontradictiecontingentie

Is ((b → c) ∧ (c → a)) → (b → a) een tautologie, een contradictie of een contingentie? Klik op je antwoord.

((b → c) ∧ (c → a)) → (b → a)
  1. 1tautologie
  2. 2contradictie
  3. 3contingentie
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
a ∧ ca¬cc

De premissen a ∨ c; ¬a zijn gegeven. Welke conclusie volgt eruit? Klik erop.

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

Antwoordenblad

  1. 1. N = 3
  2. 2. N = 5
  3. 3. tautologie
  4. 4. tautologie
  5. 5. c
  6. 6. ∃x ∀y ¬R(x, y)

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