A lógica formal matemática diverge imensamente da interpretação de texto. Para que uma frase seja logicamente equivalente a outra, devemos ter os mesmos valores em todas as linhas de suas tabelas verdades iguais.

Desta forma analisando logicamente a frase:

“Se o Flamengo é um time de futebol da Itália então Brasília é a capital do Canadá”

podemos afirmar que a frase logicamente equivalente a essa é: