Sejam p, q , r e s três proposições tais que ~p -> q -> ~r -> s, em que "~" é a negação da proposição subsequente, então, certamente