Negación

A conexión máis sinxela é a negación, cuxo símbolo é «¬». Dada unha proposición «P», a proposición «¬P» é verdadeira se «P» é falsa, e é falsa se «P» e verdadeira. «¬P» denomínase «a negación de P», e pode lerse «non P».

A seguinte táboa de verdade representa a definición da negación:

P	¬P
V	F
F	V