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

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

¬((b ∧ ¬a) ↔ a)
N =
2.Makkelijk
ab(¬a → b) ∨ a11100100

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

(¬a → b) ∨ a
  1. 1a = 1, b = 1
  2. 2a = 1, b = 0
  3. 3a = 0, b = 1
  4. 4a = 0, b = 0
3.Gemiddeld
tautologiecontradictiecontingentie

Is (c ∧ a) → c een tautologie, een contradictie of een contingentie? Klik op je antwoord.

(c ∧ a) → c
  1. 1tautologie
  2. 2contradictie
  3. 3contingentie
4.Gemiddeld
tautologiecontradictiecontingentie

Is (c ↔ b) ∧ (c ↔ ¬b) een tautologie, een contradictie of een contingentie? Klik op je antwoord.

(c ↔ b) ∧ (c ↔ ¬b)
  1. 1tautologie
  2. 2contradictie
  3. 3contingentie
5.Moeilijk
¬a ∧ ca¬ac

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

a → bb → c¬c
  1. 1¬a ∧ c
  2. 2a
  3. 3¬a
  4. 4c
6.Moeilijk
q ∧ rqr¬r

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

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

Antwoordenblad

  1. 1. N = 3
  2. 2. a = 0, b = 0
  3. 3. tautologie
  4. 4. contradictie
  5. 5. ¬a
  6. 6. r

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