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
.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