Imagem de fundo

Sabendo-se que o símbolo ¬ denota negação e que o símbolo v...

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:


A
A v B

B
–A v B

C
A v –B

D
–A v –B

E
–(A v B)