Use Boolean algebra to show that ((p^q) implies (p implies q)) is a contradiction. do not use truth tables, thanks.
Last edited by mr fantastic; August 20th 2011 at 05:45 PM.
Reason: Deleted begging in title.
Follow Math Help Forum on Facebook and Google+
Are you sure this expression is a contradiction? For me it is a tautology!
I get a tautology too:
Therefore it's a tautology.
That is exactly what I found!
View Tag Cloud