2

Can someone teach me how to prove the statement $(A\Rightarrow B)\Leftrightarrow C$?

My idea is:

  1. For $\Rightarrow $ part, we assume that A and B are true then show C is true
  2. For $\Leftarrow $ part, suppose that C and A are true then show B is true

Am I right? Thanks for your help!

Bill Dubuque
  • 272,048
  • 1
  • No, you assume that (A⇒B) is true. That is NOT the same as assuming that A and B are true. For example (A⇒B) is true if A if false whether B is true or false. 2) Yes, but only because if A is false, (A⇒B) is automatically true. You are really assuming C is true and proving that (A⇒B) is true.
  • – user247327 Sep 29 '17 at 00:38