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 ↔ (q ↔ p)) → (¬q ∨ r) onwaar. Klik op die rij.
(r ↔ (q ↔ p)) → (¬q ∨ 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 ¬((r ∧ p) → (q ∨ (q → p))) is uitgeschreven. In hoeveel rijen N is p = 1 en r = 0?
¬((r ∧ p) → (q ∨ (q → p)))
N =
3.Gemiddeld
Welke formule is logisch equivalent met (p ∧ r) → q? Klik erop.
(p ∧ r) → q
1(p → r) → q
2p ∧ (r → q)
3(p → q) ∧ (r → q)
4p → (r → q)
4.Gemiddeld
In hoeveel van de 8 rijen van zijn waarheidstabel is (p ∨ (¬r ↔ p)) ∧ (r → q) waar? Noem dit aantal N.
(p ∨ (¬r ↔ p)) ∧ (r → q)
N =
5.Moeilijk
De premissen r → q; q → p zijn gegeven. Welke conclusie volgt eruit? Klik erop.
r → qq → p
1r → p
2p → r
3¬r → ¬p
4r ∧ p
6.Moeilijk
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∀x (¬P(x) → ¬Q(x))
2∀x (P(x) → ¬Q(x))
3∀x (P(x) ∧ ¬Q(x))
4∃x (P(x) ∧ ¬Q(x))
Antwoordenblad
1. p = 0, q = 1, r = 0
2. N = 2
3. p → (r → q)
4. N = 4
5. r → p
6. ∀x (P(x) ∧ ¬Q(x))
Volledige stapsgewijze oplossingen: oefen dit onderwerp op examproblems.com.