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
pq(q ↔ p) ∧ p11?10?01?00?

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

(q ↔ p) ∧ p
N =
2.Makkelijk
abc((c ∧ b) ↔ b) → ¬(¬c ∧ a)111110101100011010001000

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

((c ∧ b) ↔ b) → ¬(¬c ∧ a)
  1. 1a = 1, b = 1, c = 1
  2. 2a = 1, b = 1, c = 0
  3. 3a = 1, b = 0, c = 1
  4. 4a = 1, b = 0, c = 0
  5. 5a = 0, b = 1, c = 1
  6. 6a = 0, b = 1, c = 0
  7. 7a = 0, b = 0, c = 1
  8. 8a = 0, b = 0, c = 0
3.Gemiddeld
pqrr → (¬q ∨ p)r ↔ p(r → (¬q ∨ p)) ∧ (r ↔ p)111?110?101?100?011?010?001?000?

In hoeveel van de 8 rijen van zijn waarheidstabel is (r → (¬q ∨ p)) ∧ (r ↔ p) waar? Noem dit aantal N.

(r → (¬q ∨ p)) ∧ (r ↔ p)
N =
4.Gemiddeld
pqrq ∨ (¬p ↔ r)¬(p ∧ r) → (q ∨ (¬p ↔ r))¬(¬(p ∧ r) → (q ∨ (¬p ↔ r)))111?110?101?100?011?010?001?000?

In hoeveel van de 8 rijen van zijn waarheidstabel is ¬(¬(p ∧ r) → (q ∨ (¬p ↔ r))) waar? Noem dit aantal N.

¬(¬(p ∧ r) → (q ∨ (¬p ↔ r)))
N =
5.Moeilijk
∀x (A(x) → ¬B(x))∃x (A(x) → ¬B(x))∃x (¬A(x) ∧ ¬B(x))∀x (A(x) ∧ ¬B(x))

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

¬∃x (A(x) ∧ B(x))
  1. 1∀x (A(x) → ¬B(x))
  2. 2∃x (A(x) → ¬B(x))
  3. 3∃x (¬A(x) ∧ ¬B(x))
  4. 4∀x (A(x) ∧ ¬B(x))
6.Moeilijk
¬aca ∧ ¬ca

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

(b ∧ a) → cb¬c
  1. 1¬a
  2. 2c
  3. 3a ∧ ¬c
  4. 4a

Antwoordenblad

  1. 1. N = 1
  2. 2. a = 1, b = 0, c = 0
  3. 3. N = 4
  4. 4. N = 1
  5. 5. ∀x (A(x) → ¬B(x))
  6. 6. ¬a

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