NOT
NOT 〈nòt〉 [avv. sostantivato ingl. "no" usato in it. come s.m. invar.] [ELT] Denomin., di uso internazionale, dell'operazione logica di negazione, o inversione, indicata con la sopralineatura (l'operazione [...] NOT applicata all'elemento A dà A- ): v. circuiti logici: I 618 e. La fig. mostra il simb. della porta logica che realizza l'operazione NOT e la tavola di verità di questa. ...
Leggi Tutto
connettivi, sistema minimo di
connettivi, sistema minimo di o base di connettivi, in logica, insieme minimo di connettivi adeguato a esprimere, in virtù di proprietà di equivalenza logica tra forme enunciative, [...] tutti gli abituali connettivi utilizzati in logica. È tradizionalmente costituito dalla negazione (￢) e da uno qualsiasi dei connettivi ∨, ∧, ⇒, ma sono possibili ulteriori riduzioni, per le quali si vedano: → enunciati, linguaggio degli; → Sheffer, ...
Leggi Tutto
legame assioma
legame assioma in logica, nell’ambito di una rete dimostrativa rappresentata da un grafo, è un nodo del grafo che corrisponde alla regola dell’assioma (o regola dell’identità) nel calcolo [...] dei sequenti lineare. Il legame assioma è indicato con (ax), non ha premesse e ha due conclusioni etichettate rispettivamente da una formula A e dalla sua negazione A⊥ (→ proof-net). ...
Leggi Tutto
apofatico
Dal. gr. ἀποφατικός «negativo», der. di ἀπόφημι «negare», ἀπόφασις «negazione». Nella logica aristotelica, che separa una cosa da un’altra, ossia che nega l’appartenenza di un predicato a un [...] soggetto. È detta teologia a., (in opposizione alla teologia catafatica (➔ catafatico), quella che procede alla conoscenza di Dio per via di negazioni, ossia dicendo ciò che Dio non è. ...
Leggi Tutto
legame cut
legame cut in logica, nell’ambito di una rete dimostrativa rappresentata da un grafo, è un nodo del grafo che corrisponde alla regola del taglio del calcolo dei sequenti. Il legame cut ha [...] due premesse etichettate rispettivamente da una formula A e dalla sua negazione A⊥ e nessuna conclusione (→ proof-net). ...
Leggi Tutto
teoria, consistenza di una
teoria, consistenza di una o coerenza, in logica, proprietà di un sistema di assiomi specifici di una teoria matematica da cui non è possibile dedurre una formula ben formata [...] a e la sua negazione ￢a (→ coerenza; → consistenza; → teoria). ...
Leggi Tutto
non
non nella lingua italiana, avverbio di negazione cui, in logica matematica, corrisponde il connettivo rappresentato dal simbolo ￢ e detto appunto, → negazione. Dato un enunciato A, la sua negazione [...] è l’enunciato ￢A che si legge «non A» ...
Leggi Tutto
reduction ad absurdum
Locuz. lat. (propr. «riduzione all’assurdo»). Genere di argomentazione indiretta, usata in logica o in matematica, la quale consiste nel dimostrare una certa proposizione mostrando [...] la contraddittorietà che deriva assumendone la negazione. ...
Leggi Tutto
refutabile
refutàbile [Der. del lat. refutabilis "confutabile", da refutare "respingere, confutare"] [ALG] [FAF] Nella logica matematica, di un enunciato del quale, in un dato insieme formale, sia dimostrabile [...] la negazione. ...
Leggi Tutto
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;...
logico1
lògico1 (ant. lòico) agg. [dal lat. logĭcus, gr. λογικός, der. di λόγος «discorso, ragionamento»] (pl. m. -ci). – 1. a. Che concerne la logica o la logica matematica: principî l.; linguaggio l.; calcolo l.; o, più genericam., che riguarda...