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:
Sabendo-se que o símbolo ¬ denota negação e que o símbolo v denota o c...
Questão de Raciocínio Lógico da banca NCE aplicada no concurso ANA (2003). Confira a resolução completa abaixo: