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
pqp ∨ ¬(q ∨ p)11?10?01?00?

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

p ∨ ¬(q ∨ p)
N =
2.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 =
3.Gemiddeld
¬p → ¬(q ∧ r)p ∧ ¬(q ∧ r)¬p ∧ ¬(q ∧ r)¬p ∧ (q ∧ r)

Je wilt p → (q ∧ r) bewijzen uit het ongerijmde. Welke uitspraak neem je aan het begin aan? Klik erop.

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

Is (p ∨ r) → (p ∧ r) een tautologie, een contradictie of een contingentie? Klik op je antwoord.

(p ∨ r) → (p ∧ r)
  1. 1tautologie
  2. 2contradictie
  3. 3contingentie
5.Moeilijk
c ∧ a¬c → ¬aa → cc → a

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

c → bb → a
  1. 1c ∧ a
  2. 2¬c → ¬a
  3. 3a → c
  4. 4c → a
6.Moeilijk
prp → r¬p¬r11100100

De redenering met premissen p → r; ¬p en conclusie ¬r is ongeldig. Klik op de rij van de waarheidstabel die een tegenvoorbeeld is.

p → r¬p∴ ¬r
  1. 1p = 1, r = 1
  2. 2p = 1, r = 0
  3. 3p = 0, r = 1
  4. 4p = 0, r = 0

Antwoordenblad

  1. 1. N = 3
  2. 2. N = 3
  3. 3. p ∧ ¬(q ∧ r)
  4. 4. contingentie
  5. 5. c → a
  6. 6. p = 0, r = 1

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