A linguagem formal, desenvolvida pelos lógicos, possui o objetivo de eliminar, sobretudo, três problemas causados pela linguagem comum. São eles: (1) ambiguidade; (2) vaguidade; (3) redundância. Consi

Question

A linguagem formal, desenvolvida pelos lógicos, possui o objetivo de eliminar, sobretudo, três problemas causados pela linguagem comum. São eles: (1) ambiguidade; (2) vaguidade; (3) redundância. Considerando o que se afirmou anteriormente, a única alternativa equivalente, na linguagem da lógica proposicional, de forma CORRETA, para a afirmação de que não é fato que P assim como Q é:

Accepted Answer

¬(P ∧ Q)

Answer

¬(P ↔ Q)

Answer

¬(P ∨ ¬Q)

Answer

(¬P ∨ ¬Q)

Answer

¬(P → Q)

Questão 7671 —

Comentários