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

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

¬(q ↔ r) → ¬((¬p ∨ ¬q) ∧ (p ∧ ¬r))
N =
2.Makkelijk

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

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

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

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

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

¬(q ∨ r)
  1. 1q ∨ ¬r
  2. 2¬q ∨ ¬r
  3. 3¬q ∧ r
  4. 4¬q ∧ ¬r
5.Moeilijk
q ∧ ¬rr¬qq

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

(p ∧ q) → rp¬r
  1. 1q ∧ ¬r
  2. 2r
  3. 3¬q
  4. 4q
6.Moeilijk
∃x (¬F(x) ∧ ¬G(x))∃x (F(x) → ¬G(x))∀x (F(x) → ¬G(x))∀x (¬F(x) ∧ ¬G(x))

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

¬∃x (F(x) ∧ G(x))
  1. 1∃x (¬F(x) ∧ ¬G(x))
  2. 2∃x (F(x) → ¬G(x))
  3. 3∀x (F(x) → ¬G(x))
  4. 4∀x (¬F(x) ∧ ¬G(x))

Antwoordenblad

  1. 1. N = 8
  2. 2. N = 8
  3. 3. tautologie
  4. 4. ¬q ∧ ¬r
  5. 5. ¬q
  6. 6. ∀x (F(x) → ¬G(x))

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