Duas proposições compostas são equivalentes se têm a mesma tabela de valores lógicos. É correto afirmar que a proposição composta p → q é equivalente à proposição
Sejam p e q proposições e ~p e ~q, respectivamente, suas negações. Se p é uma proposição verdadeira e q, uma proposição falsa, então é verdadeira a proposição composta