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
aba ↔ b11?10?01?00?

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

a ↔ b
N =
2.Makkelijk
pqq → (p ∨ ¬q)11100100

Precies één rij van de waarheidstabel maakt q → (p ∨ ¬q) onwaar. Klik op die rij.

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

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

(a ∨ c) ↔ ((¬a ∧ b) ↔ (c ∨ ¬b))
N =
4.Gemiddeld
(b ∨ c) ∧ (b ∨ a)(b ∨ c) ∧ a(b ∧ c) ∨ (b ∧ a)b ∧ (c ∨ a)

Welke formule is logisch equivalent met b ∨ (c ∧ a)? Klik erop.

b ∨ (c ∧ a)
  1. 1(b ∨ c) ∧ (b ∨ a)
  2. 2(b ∨ c) ∧ a
  3. 3(b ∧ c) ∨ (b ∧ a)
  4. 4b ∧ (c ∨ a)
5.Moeilijk

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

((¬q ∧ r) ∧ (¬q ∨ p)) → (¬s ∧ ¬r)
N =
6.Moeilijk
¬rr ∨ pq ∨ pr ∧ p

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

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

Antwoordenblad

  1. 1. N = 2
  2. 2. p = 0, q = 1
  3. 3. N = 4
  4. 4. (b ∨ c) ∧ (b ∨ a)
  5. 5. N = 12
  6. 6. r ∨ p

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