Imagem de fundo

Considerem-se os símbolos lógicos: ~ (negação); ˄...

Considerem-se os símbolos lógicos: ~ (negação); ˄ (inclusão); e ˅ (disjunção inclusiva) e a seguinte expressão lógica: ~(P ˅ Q) → ~(P ˄ Q). A respeito dessa expressão lógica, é correto afirmar que seja


A

uma contradição.


B

uma tautologia.


C

uma contingência.


D

uma equivalência lógica.


E

necessário pertencer à interseção para pertencer à união.