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
© Copyright 2024 ExpyDoc