prenesso
prenésso [agg. Der. dell'ingl. prenex, che è dal lat. praenexus "unito prima"] [ALG] [FAF] Forma normale p. (dall'ingl. prenex normal form): nella logicamatematica, espressione predicativa [...] in cui tutti i quantificatori si trovano all'inizio ...
Leggi Tutto
metasimbolo
metasìmbolo [Comp. di meta- e simbolo] [ALG] [FAF] Nella logicamatematica, simb. non appartenente all'alfabeto di una teoria e che viene introdotto con funzione ausiliaria per semplificare [...] l'esposizione della teoria medesima ...
Leggi Tutto
metamatematica
metamatemàtica [Comp. di meta- e matematica] [ALG] [ANM] [FAF] La scienza che ha per oggetto l'analisi formale delle strutture matematiche e che può essere identificata con la logicamatematica. ...
Leggi Tutto
refutabile
refutàbile [Der. del lat. refutabilis "confutabile", da refutare "respingere, confutare"] [ALG] [FAF] Nella logicamatematica, di un enunciato del quale, in un dato insieme formale, sia dimostrabile [...] la negazione ...
Leggi Tutto
recursione
recursióne [Der. del lat. recursio -onis, dal part. pass. recursus di recurrere "ricorrere"] [ALG] [FAF] Nella logicamatematica, sinon. di ricorrenza. ...
Leggi Tutto
particolarizzatore
particolarizzatóre [Der. di particolarizzare] [ALG][FAF] Uno dei due quantificatori della logicamatematica (l'altro è il generalizzatore). ...
Leggi Tutto
logicalògica [Lat. logica, dal gr. loġiké (sottinteso téchne "arte"), a sua volta da lógos "discorso, ragionamento"] [ELT] [INF] Il complesso dei circuiti logici che fanno parte di un dispositivo elettronico [...] : v. calcolatori, architettura dei: I 396 b. ◆ [ALG] [FAF] L. modale: indagine filosofica e matematica che sviluppa sistemi logici relativi ai concetti di necessità, possibilità, impossibilità e simili. ◆ [ELT] [INF] L. negativa: v. oltre ...
Leggi Tutto
sistema Nell’ambito scientifico, qualsiasi oggetto di studio che, pur essendo costituito da diversi elementi reciprocamente interconnessi e interagenti tra loro e con l’ambiente esterno, reagisce o evolve [...] sperimentali della fisica; ciò significa semplicemente che quel s. ipotetico-deduttivo, pur essendo logicamente coerente, non è un modello matematico astratto dello spazio fisico. Normalmente si richiede che i postulati siano indipendenti, cioè che ...
Leggi Tutto
spazio Sostantivo polisenso che designa in generale un’estensione compresa tra due o più punti di riferimento. Può essere variamente interpretato a seconda che lo si consideri dal punto di vista filosofico, [...] delle idee geometriche. Il successo di questa teoria mette in luce alla fine dell’Ottocento come nella matematica pura non vi sia alcuna necessità logica che obblighi a pensare soltanto uno s. a tre dimensioni. Il problema del perché lo s. percettivo ...
Leggi Tutto
Chimica
Generalità
L’a. chimica si occupa dei metodi che permettono di determinare la composizione chimica di un campione. Genericamente ha il significato di scissione in elementi più piccoli e loro esame, [...] finita, si può trascurare. E di questo principio non danno giustificazione rigorosa. Di fronte al rigore logico tradizionale, la matematica veniva scossa da una vera crisi dei suoi ‘fondamenti’. L’identificazione di rettilineo e curvilineo; il ...
Leggi Tutto
logica
lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto viene espresso; in partic., in Aristotele,...
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...