negazione congiunta

Enciclopedia della Matematica (2013)

negazione congiunta


negazione congiunta in logica, connettivo tra due enunciati, spesso indicato con ↓, tale che A ↓ B è vera se e solo se né A né B sono vere. Pertanto, ￢A è logicamente equivalente ad A ↓ A. La rilevanza della negazione congiunta è dovuta al fatto che è possibile definire tutti gli altri usuali connettivi logici (congiunzione, disgiunzione, implicazione e doppia implicazione) a partire da questo solo connettivo (→ enunciati, linguaggio degli).

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;...
negazionista
negazionista agg. e s. m. e f. [tratto da negazionismo] (pl. m. -i). – Relativo al negazionismo: assumere posizioni ideologiche negazioniste. Come sost., sostenitore o seguace del negazionismo.