Com respeito à formulação de expressões lógicas, considere a seguinte a fórmula: A -> B
Lida como “sempre que A é verdadeira então necessariamente B é verdadeira”, essa expressão é equivalente à expressão