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 é:
