Um antigo ditado popular diz: cão que ladra não morde. Considere verdadeira a frase:

“Se um cão ladra então não morde”.

Uma frase logicamente equivalente é: