궁금한게 있습니다.

어떤 두 명제가 동치임을 증명하려고 하는데

(  p->q  )  <->  (  r->s  ) 를 보이기 위해 —> 부터 보이려고 합니다.

그러면 p -> q 와 r 까지 가정하고 s가 참임을 보이면 되나요?