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 werkblad Online 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

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

¬(q ∨ p)

N =

2.Makkelijk

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

¬((q ∧ (p → r)) → (p ∧ q))

N =

3.Gemiddeld

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

¬((¬c → a) ∧ (b → a))

N =

4.Gemiddeld

Welke formule is logisch equivalent met ¬(b ∧ a)? Klik erop.

¬(b ∧ a)

1¬b ∨ a
2¬b ∧ ¬a
3¬b ∧ a
4¬b ∨ ¬a

5.Moeilijk

De redenering met premissen a → b; b en conclusie a is ongeldig. Klik op de rij van de waarheidstabel die een tegenvoorbeeld is.

a → bb∴ a

1a = 1, b = 1
2a = 1, b = 0
3a = 0, b = 1
4a = 0, b = 0

6.Moeilijk

Welke uitspraak is equivalent met ¬∀x (A(x) → ∃y R(x, y)), met de ontkenning helemaal naar binnen geschoven? Klik erop.

¬∀x (A(x) → ∃y R(x, y))

1∃x (¬A(x) ∧ ∃y R(x, y))
2∀x (A(x) ∧ ∀y ¬R(x, y))
3∃x (A(x) → ∀y ¬R(x, y))
4∃x (A(x) ∧ ∀y ¬R(x, y))

Antwoordenblad

1. N = 1
2. N = 2
3. N = 3
4. ¬b ∨ ¬a
5. a = 0, b = 1
6. ∃x (A(x) ∧ ∀y ¬R(x, y))

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