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)11100100

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

¬(a ∧ ¬b) → (a ↔ b)
  1. 1a = 1, b = 1
  2. 2a = 1, b = 0
  3. 3a = 0, b = 1
  4. 4a = 0, b = 0
2.Makkelijk
pqr¬(¬r → q) ∧ (¬q ∧ (p → r))111110101100011010001000

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

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

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

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

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

¬(r → p)
  1. 1r ∧ ¬p
  2. 2¬r → ¬p
  3. 3¬r ∧ p
  4. 4¬r ∨ ¬p
5.Moeilijk

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

¬(¬((d ∨ ¬b) ∧ (a ↔ ¬d)) ∨ (c ↔ a))
N =
6.Moeilijk
∀x ¬A(x)∃x A(x)∃x ¬A(x)∀x A(x)

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

¬∃x A(x)
  1. 1∀x ¬A(x)
  2. 2∃x A(x)
  3. 3∃x ¬A(x)
  4. 4∀x A(x)

Antwoordenblad

  1. 1. a = 0, b = 1
  2. 2. p = 0, q = 0, r = 0
  3. 3. (r ∧ q) ∨ (r ∧ p)
  4. 4. r ∧ ¬p
  5. 5. N = 3
  6. 6. ∀x ¬A(x)

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