Propositielogica: Natuurlijke deductie
Contradictie- en dubbele negatie-eliminatieregels: pen-en-papier opdrachten (4 opdrachten)
Maak eerst elke opdracht zelf en vergelijk daarna pas jouw antwoord met de uitwerking.
Opdracht 1 Toon aan dat \( \vdash (\neg\,p\rightarrow\neg\, q) \rightarrow (q\rightarrow p)\).
Uitwerking
Opdracht 2 Toon aan dat \( \neg\,p\lor q\vdash p \rightarrow q\).
Uitwerking
Natuurlijk is ook onderstaande afleiding correct.
Opdracht 3 Toon aan dat \( \neg(p\land q)\vdash \neg\,p \lor \neg\,q\).
Uitwerking
Opdracht 4 Toon aan dat \( \vdash \neg(p\rightarrow q)\rightarrow (p \land \neg\,q)\).
Uitwerking
Ontgrendel volledige toegang
