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¬p ∧ q11?10?01?00?

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

¬p ∧ q
N =
2.Makkelijk
pq(q ∧ p) → ¬(¬q → ¬p)11100100

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

(q ∧ 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
tautologiecontradictiecontingentie

Is (c ∨ b) ∧ (¬c ∧ ¬b) een tautologie, een contradictie of een contingentie? Klik op je antwoord.

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

Welke formule is logisch equivalent met p → q? Klik erop.

p → q
  1. 1q → p
  2. 2¬q ∧ ¬p
  3. 3¬p → ¬q
  4. 4¬q → ¬p
5.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)
6.Moeilijk
r ∧ ¬q¬rrq

De premissen (p ∧ r) → q; p; ¬q zijn gegeven. Welke conclusie volgt eruit? Klik erop.

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

Antwoordenblad

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

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