Inleiding Wiskundige Logica 2014/2015 Inleveropdracht 31

Inleiding Wiskundige Logica 2014/2015
Inleveropdracht 31
Opgave 1 Geef ND-afleidingen voor de volgende beweringen:
a. p → r, ¬¬q → r ` (p ∨ q) → r;
b. ¬p → q ` (p → q) → q.
1
Inleveren bij aanvang van het werkcollege op 24 april 2015.
1