A proposição lógica (P⇒Q) ⇒ (R⇒S) é equivalente à proposição lógica
(R⇒S)⇒(~(P⇒Q)).
(P⇒Q) ∧ (~(R⇒S)).
(R⇒S) ∨ (~(P⇒Q)).
(P⇒(~Q))⇒(R⇒S).
(~R⇒S))⇒(P⇒Q).