DOPPIA NEGAZIONE
Per comprendere meglio questo argomento, leggi prima le seguenti lezioni:
Continuiamo a parlare di NEGAZIONE LOGICA.
Prendiamo la seguente PROPOSIZIONE
p = Roma è la capitale dell'Italia.
La sua negazione non-p è:
non-p = Roma non è la capitale dell'Italia.
Ora costruiamo la negazione di non-p. Essa è:
non-(non-p) = Roma è la capitale dell'Italia.
L'asserzione che abbiamo scritto è la DOPPIA NEGAZIONE della proposizione p.
Come possiamo notare la DOPPIA NEGAZIONE di una proposizione p è uguale alla proposizione p. Cioè:
non-(non-p) = p
che possiamo scrivere anche nel modo seguente:
Essa si legge
p sopralineato sopralineato uguale p
oppure così:
