La negación es la conexión lógica más sencilla. Toda proposición se puede negar anteponiendo a su enunciado “es falso que”, “no es cierto que” o “no es el caso que” o insertando dentro de la proposición la palabra “no”. Simbólicamente, la negación de la proposición p sería ~p, que se lee “no p”, “no es cierto que p”, “es falso que p” o “no es el caso que p”. La tabla de verdad para la negación es:
Ejemplo.
La negación de p: todos los alumnos estudian matemática
es ~p: no todos los alumnos estudian matemática
o bien: ~p: no es cierto que todos los alumnos estudian matemática
~p: hay alumnos que no estudian matemática
|
