doppia negazione

Enciclopedia della Matematica (2013)

doppia negazione


doppia negazione in logica, applicazione, effettuata due volte, del connettivo della negazione, indicato dal simbolo ￢ (si legge «non»), a una formula A in modo da ottenere la formula ￢￢A (si legge «non non A») che è logicamente equivalente alla formula A. Ciò corrisponde all’asserzione secondo la quale due negazioni affermano, proprietà valida in alcune lingue naturali, come per esempio il latino, ma non sempre rispettata in altre: per esempio, in italiano, contrariamente al dettato logico, la frase «qui non c’è nessuno» ha un significato di negazione pur contenendo due negazioni. L’equivalenza logica fra la formula A e la formula ￢￢A corrisponde al fatto che le due formule hanno lo stesso valore di verità, come si vede anche dalla tavola di verità:

table

Tag
Vocabolario
negazióne
negazione negazióne s. f. [dal lat. negatio -onis]. – 1. a. L’atto del negare, e l’espressione con cui si nega (il contrario di affermazione): una n. recisa, timida, ostinata; la n. di una verità, di un fatto, di un concetto; la n. dell’evidenza;...
dóppia
doppia dóppia s. f. [femm. sostantivato dell’agg. doppio]. – 1. Antica moneta d’oro del valore di due scudi, coniata in Italia fin dal sec. 16°. 2. Gemma contraffatta, costituita da due pezzi di pietra vera o falsa (pietra sintetica, vetro),...