Considere que para duas proposições p e q da lógica proposic...
.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
.
sem refutar a validade de
pode-se assumir a validade de