O manual de um produto P afirma que “Se a trava da tampa de P não estiver fechada, então o produto P não liga”.

Uma proposição equivalente à afirmação do manual é:
Visualizar Questão Comentada