En lógica, la virgulilla es utilizada como negación (~), aunque también se utiliza el símbolo ¬.