blocco 1
blòcco1 [Dal fr. bloc "tronco abbattuto, quantità di materia", poi "oggetto piuttosto consistente" e sim.] [ALG] [FAF] Nella logicamatematica, successione chiusa in sé di quantificatori esistenziali [...] o universali. ◆ [ELT] [FTC] B. funzionale: simbolo grafico, di solito in forma di rettangolo con opportuni altri simboli oppure didascalie nell'interno, per rappresentare una sub-unità di un impianto la ...
Leggi Tutto
meno
méno [Der. del lat. minus, comparativo di parvus "piccolo"] [ALG] Segno con vari signif.: (a) simb. dell'operazione di sottrazione, anche nel signif. che tale operazione ha nell'algebra astratta; [...] degli insiemi, la scrittura A-B ("A m. B") indica l'insieme dei punti di A che non appartengono a B. ◆ [FAF] Nella logicamatematica, indica la negazione; per es., se A è una proposizione, -A ("m. A" o "non A") indica la proposizione contraria di A. ...
Leggi Tutto
prefisso
prefisso [agg. e s.m. Der. dal part. pass. praefixus del lat. praefigere "prefiggere, mettere prima"] [ALG] [FAF] Nella logicamatematica, la sequenza iniziale dei quantificatori di una formula [...] del calcolo dei predicati scritta in forma normale prenessa (→ prenesso). ◆ [ELT] Nella telefonia a commutazione automatica, gruppo di cifre che viene anteposto alle cifre corrispondenti a un utente per ...
Leggi Tutto
F
F 〈èffe〉 [Forma maiusc. della lettera f] [ALG] [FAF] Nella logicamatematica, simb. di falso, usato partic. nelle tavole di verità. ◆ [ASF] Simb. di un tipo spettrale di stelle, diviso in 10 sottoclassi, [...] da F0 a F9: v. stella: V 622 a. ◆ [CHF] Simb. dell'elemento chimico fluoro. ◆ [FSD] Tipo di centro di colore: v. centri di colore: I 555 b. ◆ [GFS] Simb. della più alta delle regioni ionosferiche normali, ...
Leggi Tutto
quantificatore
quantificatóre [Der. di quantificare "introdurre elementi quantitativi", comp. di quant(ità) e del tema del lat. facere "fare"] [ALG] [FAF] Nella logicamatematica, operatore che viene [...] almeno un"; per es., ∃x∀y(x+y=y) significa che esiste almeno un numero (x) che sommato a un qualunque altro numero (y) lo lascia inalterato (x+y=y) (si tratta dello zero). ◆ [FAF] Campo d'azione di un q. e indice di un q.: v. logica: III 484 d. ...
Leggi Tutto
realizzazione
realizzazióne [Atto ed effetto del realizzare "rendere reale, fare", da reale] [ALG] [FAF] Nella logicamatematica è, talvolta sinon. di modello. ◆ [ELT] Nella teoria dei sistemi, la determinazione [...] suo assegnato comportamento esterno: v. sistemi, teoria dei: V 321 e. ◆ [ALG] [FAF] R. di una teoria formale: nella logicamatematica, l'interpretare i concetti indeterminati di una teoria su concetti specifici di una struttura in modo tale che tutti ...
Leggi Tutto
proprio
pròprio [Der. del lat. proprius, probab. dalla locuz. pro privo "a titolo privato"] [LSF] Conserva il signif. di proprietà e quindi con signif. affine a quello di peculiare, specifico e simili. [...] generico, in senso lato e sim. per sottolineare la specificità di qualcosa. ◆ [ALG] [FAF] Assiomi p., o non logici: nella logicamatematica, gli assiomi specifici di una teoria formalizzata. ◆ [ALG] [FAF] Classe p.: ogni insieme che non possa essere ...
Leggi Tutto
predicato
predicato [Der. del lat. praedicatum, part. pass. neutro sostantivato di praedicare "rendere noto"] [ALG] [FAF] (a) Ciò che si afferma o si nega intorno a un soggetto; (b) nella logicamatematica, [...] , oltre alle proposizioni semplici e ai connettivi, si considerano anche p. e quantificatori. ◆ [ALG] [FAF] Logica dei p.: la parte della logicamatematica che studia le espressioni (formule) che si possono costruire con p. (applicati a costanti e ...
Leggi Tutto
A
A [Forma maiusc. della lettera a] [ALG] [FAF] Nella logicamatematica, simb. dell'operazione di disgiunzione. ◆ [ASF] Simb. di un tipo spettrale di stelle: v. stella: V 622 a. ◆ [CHF] Simb., oltre [...] ad Ar, dell'elemento chimico argon. ◆ [ELT] Simb. di una classe di amplificatori elettrici: v. amplificazione di segnali elettrici: I 119 b. ◆ [GFS] Simb. (A e Ap o Ap) di indici dell'attività geomagnetica, ...
Leggi Tutto
decisione
decisióne [Der. del lat. decisio -onis, dal part. pass. decisus di decidere "tagliar via, metter fine", comp. di de- e caedere "tagliare", e quindi "espressione di una volontà"] [ALG] [FAF] [...] Problema di d.: nella logicamatematica, la ricerca di un procedimento effettivo (cioè concretabile in un numero finito di passi e applicabile a tutti i problemi dello stesso tipo) che consenta di stabilire se una certa proprietà o relazione convenga ...
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...