Considere que para duas proposições p e q da lógica proposicional vale a fórmula .
Nesse cenário, e na ausência de qualquer outra informação sobre p ou q, para que seja possível inferir sem refutar a validade de pode-se assumir a validade de