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
pqp ∧ (q ∨ ¬p)11100100

Precies één rij van de waarheidstabel maakt p ∧ (q ∨ ¬p) waar. Klik op die rij.

p ∧ (q ∨ ¬p)
  1. 1p = 1, q = 1
  2. 2p = 1, q = 0
  3. 3p = 0, q = 1
  4. 4p = 0, q = 0
2.Makkelijk
pq¬p ∨ ¬(p → q)11100100

Precies één rij van de waarheidstabel maakt ¬p ∨ ¬(p → q) onwaar. Klik op die rij.

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

Welke formule is logisch equivalent met p → r? Klik erop.

p → r
  1. 1p ∨ ¬r
  2. 2¬p ∧ r
  3. 3¬p → ¬r
  4. 4¬p ∨ r
4.Gemiddeld
¬c → ¬¬bc ∧ ¬¬b¬c ∧ ¬b¬c ∧ ¬¬b

Je wilt c → ¬b bewijzen uit het ongerijmde. Welke uitspraak neem je aan het begin aan? Klik erop.

c → ¬b
  1. 1¬c → ¬¬b
  2. 2c ∧ ¬¬b
  3. 3¬c ∧ ¬b
  4. 4¬c ∧ ¬¬b
5.Moeilijk
¬pq ∧ ¬p¬qp

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

q → pq
  1. 1¬p
  2. 2q ∧ ¬p
  3. 3¬q
  4. 4p
6.Moeilijk
abb → a¬b¬a11100100

De redenering met premissen b → a; ¬b en conclusie ¬a is ongeldig. Klik op de rij van de waarheidstabel die een tegenvoorbeeld is.

b → a¬b∴ ¬a
  1. 1a = 1, b = 1
  2. 2a = 1, b = 0
  3. 3a = 0, b = 1
  4. 4a = 0, b = 0

Antwoordenblad

  1. 1. p = 1, q = 1
  2. 2. p = 1, q = 1
  3. 3. ¬p ∨ r
  4. 4. c ∧ ¬¬b
  5. 5. p
  6. 6. a = 1, b = 0

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