A linguagem formal, desenvolvida pelos lógicos, possui o ob...
(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 é: