chiusura
chiusura [Der. del lat. clausura, dal part. pass. clausus di claudere "chiudere", "atto ed effetto del chiudere" e anche "ciò con cui si chiude"] [ALG] C. algebrica: v. varietà algebrica: VI [...] : è definita dai relativi assiomi di c. (v. oltre). ◆ [ALG] [FAF] C. universale di un'espressione: nella logicamatematica, data un'espressione contenente certe variabili libere è la nuova espressione che si ottiene da quella universalizzando (cioè ...
Leggi Tutto
termine
tèrmine [Der. del lat. terminus "limite, confine"] [ALG] Ciascuno degli elementi sui quali opera una legge di composizione algebrica, come, per es., nell'aritmetica i t. di un'addizione sono [...] addendi, di una moltiplicazione i suoi fattori, di una frazione il numeratore e il denominatore. ◆ [ALG] [FAF] Nella logicamatematica, in una teoria formalizzata del primo ordine o di ordine superiore, ogni costante individuale (se ve ne sono), ogni ...
Leggi Tutto
atomico
atòmico [agg. Der. di atomo] [EMG] Batteria a.: batteria di celle fotovoltaiche eccitate dalla radiazione di un isotopo radioattivo beta, di solito 90Sr: v. fotovoltaico, effetto: II 752 f. ◆ [...] [ALG] [FAF] Enunciato a.: nella logicamatematica, enunciato non riducibile a enunciati più semplici, come, per es., "il triangolo è una figura geometrica". ◆ [STF] [CHF] Ipotesi a.: v. molecola: IV 87 d. ◆ [FAT] Massa a.: la massa di un atomo, ...
Leggi Tutto
singolare
singolare [agg. Der. del lat. singularis "proprio di uno solo"] [LSF] Di ente che si comporta in modo diverso dal normale, che presenta eccezioni rispetto a qualche proprietà, in contrapp. [...] a normale e regolare. ◆ [ALG] [FAF] Proposizioni s.: nella logicamatematica, proposizioni che riguardano uno e un solo oggetto o individuo. ◆ [ALG] [ANM] Punto s.: (a) di una curva, una superficie o, in generale, una varietà, un punto costituente ...
Leggi Tutto
materiale 1
materiale1 [agg. Der. del lat. materialis, da materia] [LSF] [MCC] Che consta di materia o che si riferisce a proprietà della materia: corpo m., corpo ordinario, esistente nel mondo naturale [...] v. cinematica: I 698 d. ◆ [MCC] Derivata m.: lo stesso che derivata totale: v. cinematica: I 598 e. ◆ [FAF] [ALG] Equivalenza m.: nella logicamatematica, l'asserto p↔q, valida quando p e q hanno lo stesso valore. ◆ [FAF] [ALG] Implicazione m.: nella ...
Leggi Tutto
godelizzazione
gödelizzazióne 〈g✄ödël-〉 [Dal cognome di K. Gödel] [ALG] [FAF] Tecnica in uso nella logicamatematica, consistente nell'associare un numero intero (numero di Gödel) a ogni espressione [...] di un sistema formale del primo ordine. Il criterio per eseguire questo collegamento è, per lo più, il seguente. Si scelgono una volta per tutte più numeri interi a, b, c, d, ..., da farsi corrispondere ...
Leggi Tutto
vero
véro [agg. e s.m. Der. del lat. verus] [ALG] [FAF] Nella logicamatematica, un enunciato o una formula di una teoria si dice v. (simb. V) in un universo (modello della teoria) se è soddisfatta sostituendo [...] le sue variabili con elementi del-l'universo; così, per es., la formula ∀a∃b=a:2 (equivalente all'enunciato "per ogni elemento a esiste un elemento b uguale alla metà di a") è v. se interpretata nell'universo ...
Leggi Tutto
terzo
tèrzo [agg. numerico ordinale Der. del lat. tertius, da tres "tre"] [LSF] Che in una serie numericamente ordinata viene dopo altri due. ◆ T. suono: (a) [ACS] lo stesso che suono di combinazione, [...] 'elio II: v. elio liquido: II 396 d. ◆ [ALG] [FAF] Principio del t. escluso: nella logicamatematica, principio, già noto nella logica classica (lat. tertium non datur), generalm. adoperato nelle dimostrazioni per assurdo. Per stabilire la verità di ...
Leggi Tutto
disgiunzione
disgiunzióne [Der. del lat. disiunctio -onis "il disgiungere e l'effetto di esso", da disiungere (→ disgiunto)] [ALG] [FAF] (a) Uno dei connettivi enunciativi della logicamatematica, la [...] di un certo insieme ai quali compete l'uno o l'altro di due o più attributi; è collegata con l'operazione di somma logica (unione). ◆ [PRB] D. di eventi: l'e-vento corrispondente al verificarsi di almeno uno di essi: v. probabilità classica: IV 579 c ...
Leggi Tutto
enunciato
enunciato [Der. del part. pass. enuntiatus del lat. enuntiare, comp. di ex "fuori" e nuntiare "annunciare" e quindi "annunciare pubblicamente, esternare"] [FAF] [ALG] Secondo la definizione [...] ◆ [FAF] E. protocollari: v. epistemologia: II 436 a. ◆ [ALG] Calcolo degli e., o delle proposizioni: nella logicamatematica, sistema deduttivo (costituito da un linguaggio, da un insieme di assiomi e da regole di derivazione) che, oltre ai simb. dei ...
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...