Utilizando o símbolo “~” para negação, a expressão lógica


se A então B

é equivalente à expressão