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 ∨ ¬a) ∧ b) ∧ ((c → a) ∨ c)?

((b ∨ ¬a) ∧ b) ∧ ((c → a) ∨ c)
N =
2.Makkelijk
pqp ∧ (p ↔ q)11?10?01?00?

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

p ∧ (p ↔ q)
N =
3.Gemiddeld
¬b ↔ ¬a¬b ∨ ¬ab ↔ ¬ab ∧ ¬a

Welke formule is logisch equivalent met ¬(b ↔ a)? Klik erop.

¬(b ↔ a)
  1. 1¬b ↔ ¬a
  2. 2¬b ∨ ¬a
  3. 3b ↔ ¬a
  4. 4b ∧ ¬a
4.Gemiddeld
a ∧ ¬¬b¬b → a¬a → ¬¬b¬¬b → ¬a

Je wilt a → ¬b bewijzen met de contrapositie. Welke implicatie bewijs je in plaats daarvan? Klik erop.

a → ¬b
  1. 1a ∧ ¬¬b
  2. 2¬b → a
  3. 3¬a → ¬¬b
  4. 4¬¬b → ¬a
5.Moeilijk
¬cc¬c ∧ aa

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

c → bb → a¬a
  1. 1¬c
  2. 2c
  3. 3¬c ∧ a
  4. 4a
6.Moeilijk
r ∨ qr ∧ q¬rp ∨ q

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

p ∨ r¬p ∨ q
  1. 1r ∨ q
  2. 2r ∧ q
  3. 3¬r
  4. 4p ∨ q

Antwoordenblad

  1. 1. N = 8
  2. 2. N = 1
  3. 3. b ↔ ¬a
  4. 4. ¬¬b → ¬a
  5. 5. ¬c
  6. 6. r ∨ q

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