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

Printable View

- Sep 26th 2007, 11:34 AMalbeeproof by contradiction :)
Use Boolean algebra to show that ((p^q) implies (p implies q)) is a contradiction. thanks :)

- Sep 26th 2007, 11:47 AMtukeywilliams
$\displaystyle p \implies q $ is the same as $\displaystyle \neg p \vee q $.