La negación lógica se expresa envolviendo la expresión atómica o compuesta que se quiere negar con una línea cerrada.