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) ∧ b11?10?01?00?

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

(¬b ∨ a) ∧ b
N =
2.Makkelijk
pq¬(p ∧ q) → ¬p11100100

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

¬(p ∧ q) → ¬p
  1. 1p = 1, q = 1
  2. 2p = 1, q = 0
  3. 3p = 0, q = 1
  4. 4p = 0, q = 0
3.Gemiddeld
(p ∧ q) → rr ∧ ¬(p ∧ q)¬(p ∧ q) → ¬r¬r → ¬(p ∧ q)

Je wilt r → (p ∧ q) bewijzen met de contrapositie. Welke implicatie bewijs je in plaats daarvan? Klik erop.

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

Je wilt q → ¬p bewijzen met de contrapositie. Welke implicatie bewijs je in plaats daarvan? Klik erop.

q → ¬p
  1. 1¬p → q
  2. 2¬¬p → ¬q
  3. 3q ∧ ¬¬p
  4. 4¬q → ¬¬p
5.Moeilijk

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

¬(((s → p) ∨ q) → (¬r ∨ (r ∧ ¬q)))
N =
6.Moeilijk
∀x F(x)∃x ¬F(x)∀x ¬F(x)∃x F(x)

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

¬∃x F(x)
  1. 1∀x F(x)
  2. 2∃x ¬F(x)
  3. 3∀x ¬F(x)
  4. 4∃x F(x)

Antwoordenblad

  1. 1. N = 1
  2. 2. p = 1, q = 0
  3. 3. ¬(p ∧ q) → ¬r
  4. 4. ¬¬p → ¬q
  5. 5. N = 4
  6. 6. ∀x ¬F(x)

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