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
abc(b ↔ a) → (b → c)111?110?101?100?011?010?001?000?

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

(b ↔ a) → (b → c)
N =
2.Makkelijk
ab(b ∧ a) → (b → ¬a)11100100

Precies één rij van de waarheidstabel maakt (b ∧ a) → (b → ¬a) onwaar. Klik op die rij.

(b ∧ a) → (b → ¬a)
  1. 1a = 1, b = 1
  2. 2a = 1, b = 0
  3. 3a = 0, b = 1
  4. 4a = 0, b = 0
3.Gemiddeld
q ∧ (p → r)(q → r) ∧ (p → r)(q → p) → rq → (p → r)

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

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

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

(c → a) → (a → c)
  1. 1tautologie
  2. 2contradictie
  3. 3contingentie
5.Moeilijk
∃x (A(x) ∧ ∀y ¬R(x, y))∃x (A(x) → ∀y ¬R(x, y))∃x (¬A(x) ∧ ∃y R(x, y))∀x (A(x) ∧ ∀y ¬R(x, y))

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

¬∀x (A(x) → ∃y R(x, y))
  1. 1∃x (A(x) ∧ ∀y ¬R(x, y))
  2. 2∃x (A(x) → ∀y ¬R(x, y))
  3. 3∃x (¬A(x) ∧ ∃y R(x, y))
  4. 4∀x (A(x) ∧ ∀y ¬R(x, y))
6.Moeilijk
a ∨ bc ∧ b¬cc ∨ b

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

a ∨ c¬a ∨ b
  1. 1a ∨ b
  2. 2c ∧ b
  3. 3¬c
  4. 4c ∨ b

Antwoordenblad

  1. 1. N = 7
  2. 2. a = 1, b = 1
  3. 3. q → (p → r)
  4. 4. contingentie
  5. 5. ∃x (A(x) ∧ ∀y ¬R(x, y))
  6. 6. c ∨ b

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