Sabendo-se que o símbolo ¬ denota negação e que o símbolo v denota o conector lógico ou, a fórmula A -> B, que é lida "se A então B", pode ser reescrita como:
Navegue em mais questões
{TITLE}
{CONTENT}
