Questão: Sabendo-se que o símbolo ¬ denota negação e que o símbo...

visualize os detalhes da questão e sua resolução completa.

Sabendo-se que o símbolo ¬ denota negação e que o símbolo v denota o conector lógico ou, a fórmula -> B, que é lida "se A então B", pode ser reescrita como: