Negación

En Galilibros, o Wikibooks en galego.

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