Um antigo ditado diz: “Se há fumaça então há fogo”.
Uma sentença logicamente equivalente é
se há fogo então há fumaça.
se não há fumaça então não há fogo.
se não há fogo, então não há fumaça.
se não há fumaça pode haver fogo.
se há fogo então pode haver fumaça.
