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
pq¬(¬q ∨ p)11100100

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

¬(¬q ∨ p)
  1. 1p = 1, q = 1
  2. 2p = 1, q = 0
  3. 3p = 0, q = 1
  4. 4p = 0, q = 0
2.Makkelijk

Hoeveel rijen N heeft de volledige waarheidstabel van (r ∨ (p ∨ q)) → ((q ∧ ¬p) ∨ ¬r)?

(r ∨ (p ∨ q)) → ((q ∧ ¬p) ∨ ¬r)
N =
3.Gemiddeld
¬q ∨ ¬rq ∧ ¬r¬q ↔ ¬rq ↔ ¬r

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

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

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

(p ∨ r) → ¬q
  1. 1(p ∨ r) ∧ ¬¬q
  2. 2¬(p ∨ r) ∧ ¬¬q
  3. 3¬(p ∨ r) ∧ ¬q
  4. 4¬(p ∨ r) → ¬¬q
5.Moeilijk
∃x ¬A(x)∀x A(x)∀x ¬A(x)∃x A(x)

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

¬∀x A(x)
  1. 1∃x ¬A(x)
  2. 2∀x A(x)
  3. 3∀x ¬A(x)
  4. 4∃x A(x)
6.Moeilijk
∀x ¬P(x)∀x P(x)∃x P(x)∃x ¬P(x)

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

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

Antwoordenblad

  1. 1. p = 0, q = 1
  2. 2. N = 8
  3. 3. q ↔ ¬r
  4. 4. (p ∨ r) ∧ ¬¬q
  5. 5. ∃x ¬A(x)
  6. 6. ∀x ¬P(x)

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