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) ∨ b11100100

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

(¬a ∧ ¬b) ∨ b
  1. 1a = 1, b = 1
  2. 2a = 1, b = 0
  3. 3a = 0, b = 1
  4. 4a = 0, b = 0
2.Makkelijk

Hoeveel rijen N heeft de volledige waarheidstabel van ((r ∨ q) → (r ∨ ¬p)) ∨ (p → q)?

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

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

¬(r ↔ p) ↔ (q → (q ∧ r))
N =
4.Gemiddeld
abcb → c(¬b → (¬a ∧ c)) ∧ (b → c)¬((¬b → (¬a ∧ c)) ∧ (b → c))111?110?101?100?011?010?001?000?

In hoeveel van de 8 rijen van zijn waarheidstabel is ¬((¬b → (¬a ∧ c)) ∧ (b → c)) waar? Noem dit aantal N.

¬((¬b → (¬a ∧ c)) ∧ (b → c))
N =
5.Moeilijk
∀x (P(x) ∧ ∀y ¬R(x, y))∃x (P(x) ∧ ∀y ¬R(x, y))∃x (¬P(x) ∧ ∃y R(x, y))∃x (P(x) → ∀y ¬R(x, y))

Welke uitspraak is equivalent met ¬∀x (P(x) → ∃y R(x, y)), met de ontkenning helemaal naar binnen geschoven? Klik erop.

¬∀x (P(x) → ∃y R(x, y))
  1. 1∀x (P(x) ∧ ∀y ¬R(x, y))
  2. 2∃x (P(x) ∧ ∀y ¬R(x, y))
  3. 3∃x (¬P(x) ∧ ∃y R(x, y))
  4. 4∃x (P(x) → ∀y ¬R(x, y))
6.Moeilijk

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

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

Antwoordenblad

  1. 1. a = 1, b = 0
  2. 2. N = 8
  3. 3. N = 4
  4. 4. N = 5
  5. 5. ∃x (P(x) ∧ ∀y ¬R(x, y))
  6. 6. N = 13

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