La negación es una operación lógica que se aplica sobre proposiciones, valores de verdad o valores semánticos. En términos intuitivos, la negación de una proposición es verdadera cuando dicha proposición es falsa, y viceversa. En lógica clásica, la negación normalmente se identifica con la función de verdad que cambia su valor de verdadero a falso y viceversa. En lógica intuicionista, la negación de una proposición p es la proposición cuyas pruebas son las refutaciones de p.
Para negar una
proposición simple, se le antepone la expresión “no es verdad que”, “no es
cierto que” o se incluye la palabra “no” al enunciado. La negación de una
proposición p se representa como +p y se lee como “no p”. El valor de verdad de
una proposición compuesta depende del valor de verdad de cada proposición
simple que la compone, y del tipo de operador empleado.
No hay comentarios.:
Publicar un comentario