o operador condicional só aceita duas deduções lógicas: vai afirmando ou volta negando.
Não podemos fazer nenhuma dedução do tipo vai negando nem volta afirmando.
Ex.: “Se chover, eu usarei guarda-chuva”. Se soubermos que “eu usei guarda-chuva”, não poderemos dizer nada a respeito se choveu ou não.
Ex.: “Se há fogo, então também há oxigênio”. Se, por acaso, não vemos fogo no local, não podemos concluir nada sobre o oxigênio, porque não podemos ir negando.