Use Boolean algebra to show that ((p^q) implies (p implies q)) is a contradiction. do not use truth tables, thanks.

different question!!:)

Printable View

- September 26th 2007, 09:07 AMalbeeProof by contradiction.
Use Boolean algebra to show that ((p^q) implies (p implies q)) is a contradiction. do not use truth tables, thanks.

different question!!:) - August 20th 2011, 04:14 PMdgomesRe: Proof by contradiction (please help, urgent) :)
Are you sure this expression is a contradiction? For me it is a tautology!

- August 20th 2011, 10:52 PMterrorsquidRe: Proof by contradiction.
I get a tautology too:

Therefore it's a tautology. - August 21st 2011, 11:54 AMdgomesRe: Proof by contradiction.
That is exactly what I found!