Las expresiones del lenguaje natural tales como "no", "no es cierto", "no es el caso que" "es falso", "es imposible" y todas aquellas que sean equivalentes, se sustituirán por el símbolo de negación lógica: ¬