• September 26th 2007, 11:34 AM
albee
Use Boolean algebra to show that ((p^q) implies (p implies q)) is a contradiction. thanks :)
• September 26th 2007, 11:47 AM
tukeywilliams
$p \implies q$ is the same as $\neg p \vee q$.