Sejam p e q duas proposições. A proposição ~p → q equivale a:

Próximas questões
Com base no mesmo assunto