# Math Help - proof by contradiction :)

1. ## proof by contradiction :)

Use Boolean algebra to show that ((p^q) implies (p implies q)) is a contradiction. thanks

2. $p \implies q$ is the same as $\neg p \vee q$.