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 é: