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(a ↔ b) → (a → ¬b)11?10?01?00?

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

(a ↔ b) → (a → ¬b)
N =
2.Makkelijk
ab(b ∧ ¬a) ∨ b11?10?01?00?

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

(b ∧ ¬a) ∨ b
N =
3.Gemiddeld
(c ∨ a) → ¬b¬¬b → ¬(c ∨ a)¬b ∧ ¬(c ∨ a)¬(c ∨ a) → ¬¬b

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

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

Welke formule is logisch equivalent met b → a? Klik erop.

b → a
  1. 1¬b ∧ a
  2. 2¬b → ¬a
  3. 3¬b ∨ a
  4. 4a → b
5.Moeilijk

In hoeveel van de 16 rijen van de waarheidstabel is ((a ∧ ¬b) ↔ c) ∧ ¬((¬d → ¬c) → (¬b ∨ a)) waar? Noem dit aantal N.

((a ∧ ¬b) ↔ c) ∧ ¬((¬d → ¬c) → (¬b ∨ a))
N =
6.Moeilijk

In hoeveel van de 16 rijen van de waarheidstabel is (q ∨ s) ∧ ((q ∨ p) ∧ (¬r ∨ p)) waar? Noem dit aantal N.

(q ∨ s) ∧ ((q ∨ p) ∧ (¬r ∨ p))
N =

Antwoordenblad

  1. 1. N = 3
  2. 2. N = 2
  3. 3. ¬(c ∨ a) → ¬¬b
  4. 4. ¬b ∨ a
  5. 5. N = 2
  6. 6. N = 8

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