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 (q ∨ r) ∨ ((p ∨ q) → ¬p) is uitgeschreven. In hoeveel rijen N is p = 1 en q = 0?

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

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

(¬r ∧ ¬q) ∧ (p ↔ q)
N =
3.Gemiddeld
tautologiecontradictiecontingentie

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

(p ∧ (p → r)) → r
  1. 1tautologie
  2. 2contradictie
  3. 3contingentie
4.Gemiddeld
¬(q ∨ r) ∧ ¬p(q ∨ r) ∧ ¬p¬(q ∨ r) → ¬p¬(q ∨ r) ∧ p

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

(q ∨ r) → p
  1. 1¬(q ∨ r) ∧ ¬p
  2. 2(q ∨ r) ∧ ¬p
  3. 3¬(q ∨ r) → ¬p
  4. 4¬(q ∨ r) ∧ p
5.Moeilijk
c ∧ a¬bbc

De premissen c ∨ a; c → b; a → b zijn gegeven. Welke conclusie volgt eruit? Klik erop.

c ∨ ac → ba → b
  1. 1c ∧ a
  2. 2¬b
  3. 3b
  4. 4c
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 = 2
  2. 2. N = 1
  3. 3. tautologie
  4. 4. (q ∨ r) ∧ ¬p
  5. 5. b
  6. 6. ∃x (P(x) ∧ ¬Q(x))

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