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
aba ∧ ¬b11100100

Precies één rij van de waarheidstabel maakt a ∧ ¬b waar. Klik op die rij.

a ∧ ¬b
  1. 1a = 1, b = 1
  2. 2a = 1, b = 0
  3. 3a = 0, b = 1
  4. 4a = 0, b = 0
2.Makkelijk

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

(r → q) → (p ∧ (r ∨ ¬q))
N =
3.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)
4.Gemiddeld
(q → p) ∧ (r → p)q ∧ (r → p)(q → r) → pq → (r → p)

Welke formule is logisch equivalent met (q ∧ r) → p? Klik erop.

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

In hoeveel van de 16 rijen van de waarheidstabel is ¬(d → (a ∧ ¬c)) → ((b → a) ∧ ¬d) waar? Noem dit aantal N.

¬(d → (a ∧ ¬c)) → ((b → a) ∧ ¬d)
N =

Antwoordenblad

  1. 1. a = 1, b = 0
  2. 2. N = 8
  3. 3. ¬q ∧ ¬(r ∧ p)
  4. 4. q → (r → p)
  5. 5. ∃x (¬F(x) ∧ ¬G(x))
  6. 6. N = 10

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