En la lógica proposicional, este símbolo se utiliza para indicar la negación de una proposición; por ejemplo, tomamos como referencia el juicio o proposición: "Raúl tuvo suerte ese día" y su representación simbólica la definimos como [p]; entonces, si la proposición cambia a: "Raúl no tuvo suerte ese día", la representación será [~p].