Sejam p, q , r e s três proposições tais que ~p -> q ->...
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
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