Dizemos que duas proposições são logicamente
equivalentes (ou simplesmente que são equivalentes)
quando são compostas pelas mesmas proposições simples
e os resultados de suas tabelas-verdade são idênticos, ou
seja, quando têm o mesmo valor de verdade. Logo, uma
proposição equivalente a P → Q é: