Question

In proving, do you take the more complicated side and prove that it is equivalent to the simpler side? or is it better to take the simpler side and make it complicated?

Answer 1

trigonometry we want comlex side for example but logic we need simple

Answer 2

hmm you read my mind....

Answer 3

do you have anexample

Answer 4

not at the moment

Answer 5

¬(¬((p or q) ^ r ) or¬q) implies q^r
i would rather prove the right hand side this is equivalent

Answer 6

what right hand side?