Considere as seguintes proposições simples no âmbito de uma auditoria pública:
P: O processo foi protocolado no prazo.
Q: A documentação foi aprovada pelo relator. Considere a proposição composta: "Se o processo foi protocolado no prazo, então a documentação foi aprovada pelo relator."
Do ponto de vista da lógica proposicional, uma proposição logicamente equivalente a essa é: