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

De volledige waarheidstabel van (b ∨ (¬c ↔ b)) ∨ (a ∧ (c ∨ ¬a)) is uitgeschreven. In hoeveel rijen N is a = 1 en c = 0?

(b ∨ (¬c ↔ b)) ∨ (a ∧ (c ∨ ¬a))
N =
2.Makkelijk

De volledige waarheidstabel van (p → ¬q) → (¬q ∨ r) is uitgeschreven. In hoeveel rijen N is q = 1 en r = 0?

(p → ¬q) → (¬q ∨ r)
N =
3.Gemiddeld
pqr¬r¬r ∧ p(¬(r ∨ ¬q) ∨ (q ↔ p)) ∧ (¬r ∧ p)111?110?101?100?011?010?001?000?

In hoeveel van de 8 rijen van zijn waarheidstabel is (¬(r ∨ ¬q) ∨ (q ↔ p)) ∧ (¬r ∧ p) waar? Noem dit aantal N.

(¬(r ∨ ¬q) ∨ (q ↔ p)) ∧ (¬r ∧ p)
N =
4.Gemiddeld
¬¬c ∧ ¬b¬¬c ∧ b¬¬c → ¬b¬c ∧ ¬b

Je wilt ¬c → b bewijzen uit het ongerijmde. Welke uitspraak neem je aan het begin aan? Klik erop.

¬c → b
  1. 1¬¬c ∧ ¬b
  2. 2¬¬c ∧ b
  3. 3¬¬c → ¬b
  4. 4¬c ∧ ¬b
5.Moeilijk
∃x (A(x) ∧ ¬B(x))∀x (A(x) ∧ ¬B(x))∀x (A(x) → ¬B(x))∀x (¬A(x) → ¬B(x))

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

¬∃x (A(x) → B(x))
  1. 1∃x (A(x) ∧ ¬B(x))
  2. 2∀x (A(x) ∧ ¬B(x))
  3. 3∀x (A(x) → ¬B(x))
  4. 4∀x (¬A(x) → ¬B(x))
6.Moeilijk

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

((r ∨ q) → p) ∧ (r ∨ ¬s)
N =

Antwoordenblad

  1. 1. N = 2
  2. 2. N = 2
  3. 3. N = 1
  4. 4. ¬c ∧ ¬b
  5. 5. ∀x (A(x) ∧ ¬B(x))
  6. 6. N = 7

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