Guide

Data una proposizione p, la sua negazione non-p è una proposizione che è falsa se e soltanto se p è vera ed è vera se e soltanto se p è falsa.

Questo enunciato può essere facilmente espresso avvalendosi di una tabella che viene riportata nell’immagine in alto e che prende il nome di tavola di verità.

Ogni proposizione può assumere solamente due valori: V (cioè vera), F (cioè falsa).
Nella prima colonna sono riportati i valori di verità di p. Nella seconda colonna sono riportati i valori di verità di non-p.

Leggiamo la seconda riga della tavola di verità: essa ci dice che se p è vera non-p è falsa.
Nella terza riga leggiamo, invece, che se p è falsa non-p è vera.