$\text{ If }p\text{ and }q\text{ are two statements, then }(p\Rightarrow q)\iff (~q\Rightarrow \sim p) is a$

• A

   contradiction 

• B

   tautology

• C

   neither (a) nor (b)

• D

  none of the above