Negación

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Un conectivo lógico unario que produce el valor de verdad opuesto de su fórmula operando; típicamente escrito ¬A y definido tal que ¬A es verdadero exactamente cuando A es falso (en lógica proposicional clásica).