Use Boolean algebra to show that (p^(not q)) implies (p implies q) is a contradiction. do not use truth tables, thanks
Follow Math Help Forum on Facebook and Google+
View Tag Cloud