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
pqq → ¬(q ∧ p)11100100

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

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

Welke formule is logisch equivalent met ¬(q ∧ r)? Klik erop.

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

Welke formule is logisch equivalent met p → r? Klik erop.

p → r
  1. 1¬r → ¬p
  2. 2¬p → ¬r
  3. 3¬r ∧ ¬p
  4. 4r → p
5.Moeilijk
∀x (¬P(x) → ¬Q(x))∀x (P(x) ∧ ¬Q(x))∀x (P(x) → ¬Q(x))∃x (P(x) ∧ ¬Q(x))

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

¬∃x (P(x) → Q(x))
  1. 1∀x (¬P(x) → ¬Q(x))
  2. 2∀x (P(x) ∧ ¬Q(x))
  3. 3∀x (P(x) → ¬Q(x))
  4. 4∃x (P(x) ∧ ¬Q(x))
6.Moeilijk
a ∧ ¬c¬aca

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

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

Antwoordenblad

  1. 1. p = 1, q = 1
  2. 2. N = 1
  3. 3. ¬q ∨ ¬r
  4. 4. ¬r → ¬p
  5. 5. ∀x (P(x) ∧ ¬Q(x))
  6. 6. ¬a

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