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.
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
Precies één rij van de waarheidstabel maakt (r ∨ ¬(p ↔ q)) → (¬p → r) onwaar. Klik op die rij.
(r ∨ ¬(p ↔ q)) → (¬p → r)
1p = 1, q = 1, r = 1
2p = 1, q = 1, r = 0
3p = 1, q = 0, r = 1
4p = 1, q = 0, r = 0
5p = 0, q = 1, r = 1
6p = 0, q = 1, r = 0
7p = 0, q = 0, r = 1
8p = 0, q = 0, r = 0
2.Makkelijk
De volledige waarheidstabel van ((a ∧ b) → c) → (a ∨ c) is uitgeschreven. In hoeveel rijen N is a = 1 en b = 0?
((a ∧ b) → c) → (a ∨ c)
N =
3.Gemiddeld
Welke formule is logisch equivalent met q ∧ (r ∨ p)? Klik erop.
q ∧ (r ∨ p)
1(q ∧ r) ∨ (q ∧ p)
2(q ∨ r) ∧ (q ∨ p)
3q ∨ (r ∧ p)
4(q ∧ r) ∨ p
4.Gemiddeld
Welke formule is logisch equivalent met ¬(p ↔ q)? Klik erop.
¬(p ↔ q)
1p ∧ ¬q
2¬p ↔ ¬q
3¬p ∨ ¬q
4p ↔ ¬q
5.Moeilijk
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∀x (¬F(x) ∧ ¬G(x))
2∀x (F(x) ∧ ¬G(x))
3∀x (F(x) → ¬G(x))
4∃x (¬F(x) ∧ ¬G(x))
6.Moeilijk
Welke uitspraak is equivalent met ¬∀x (A(x) ∨ B(x)), met de ontkenning helemaal naar binnen geschoven? Klik erop.
¬∀x (A(x) ∨ B(x))
1∃x (¬A(x) ∨ ¬B(x))
2∃x (¬A(x) ∧ ¬B(x))
3∀x (¬A(x) ∨ ¬B(x))
4∀x (¬A(x) ∧ ¬B(x))
Antwoordenblad
1. p = 0, q = 1, r = 0
2. N = 2
3. (q ∧ r) ∨ (q ∧ p)
4. p ↔ ¬q
5. ∀x (F(x) → ¬G(x))
6. ∃x (¬A(x) ∧ ¬B(x))
Volledige stapsgewijze oplossingen: oefen dit onderwerp op examproblems.com.