Raciocínio lógico - Implicação: Se p então q (representação p--->q) - Núcleo de Computação Eletrônica UFRJ (NCE) - 2003
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:
{TITLE}
{CONTENT}
{TITLE}
Aguarde, enviando solicitação...