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
pqr¬(¬(r ∧ p) ∨ q)111?110?101?100?011?010?001?000?

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

¬(¬(r ∧ p) ∨ q)
N =
2.Makkelijk
aba ∨ (¬a ↔ b)11?10?01?00?

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

a ∨ (¬a ↔ b)
N =
3.Gemiddeld
q ∨ ¬p¬q ∧ p¬q ∧ ¬p¬q ∨ ¬p

Welke formule is logisch equivalent met ¬(q ∨ p)? Klik erop.

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

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

((r → p) ∧ (p → q)) → (r → q)
  1. 1tautologie
  2. 2contradictie
  3. 3contingentie
5.Moeilijk
∀x (F(x) ∧ ∀y ¬R(x, y))∃x (¬F(x) ∧ ∃y R(x, y))∃x (F(x) ∧ ∀y ¬R(x, y))∃x (F(x) → ∀y ¬R(x, y))

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

¬∀x (F(x) → ∃y R(x, y))
  1. 1∀x (F(x) ∧ ∀y ¬R(x, y))
  2. 2∃x (¬F(x) ∧ ∃y R(x, y))
  3. 3∃x (F(x) ∧ ∀y ¬R(x, y))
  4. 4∃x (F(x) → ∀y ¬R(x, y))
6.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))

Antwoordenblad

  1. 1. N = 1
  2. 2. N = 3
  3. 3. ¬q ∧ ¬p
  4. 4. tautologie
  5. 5. ∃x (F(x) ∧ ∀y ¬R(x, y))
  6. 6. ∃x (¬P(x) ∧ ¬Q(x))

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