notazione
notazióne [Der. del lat. notatio -onis, dal part. pass. notatus di notare, a sua volta da nota] [LSF] L'atto e l'effetto dell'apporre o dell'usare note, insieme di segni e simboli adottati [...] non connesse a una precisa regola di scomposizione dei numeri. ◆ [STF] [ALG] [FAF] Nella teoria degli insiemi e nella logicamatematica vi fu la tendenza (G. Peano) a introdurre una particolare n., includente pressoché tutte le proposizioni e le ...
Leggi Tutto
linguaggio
linguàggio [Der. di lingua] [LSF] Il mezzo con cui gli uomini si scambiano reciprocamente informazioni; tale scambio, i cui veicoli (vocaboli) sono simboli di significato noto agli interlocutori, [...] grafico: v. base dei dati: I 343 a. ◆ [ELT] [INF] L. logici: quelli, detti anche l. formali o formalizzati, che nella logicamatematica sono alla base delle varie teorie logiche; sono costruiti a partire da un ben definito alfabeto, che è costituito ...
Leggi Tutto
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
deduzione
deduzióne [Der. del lat. deductio -onis, da deducere "dedurre", comp. di de- "da" e ducere "trarre"] [LSF] Una proposizione, la verità o il giudizio che si deduce, con il metodo deduttivo, [...] taluno) come il ragionamento che giunge a proposizioni particolari partendo da proposizioni generali. ◆ [ALG] [FAF] Nella logicamatematica, l'operazione (detta anche derivazione o dimostrazione) con la quale, in un sistema deduttivo, si ottiene una ...
Leggi Tutto
semantica
semàntica [Der. del fr. sémantique, termine introdotto, dal gr. semantikós (da semaíno "significare"), nel 1897 dal linguista M.-J.-A. Bréal per indicare quel ramo della linguistica che s'occupa [...] del linguaggio non dal punto di vista fonetico e morfologico, ma guardando al loro significato] [ALG] [FAF] Nella logicamatematica, in contrapp. a sintassi, che studia i linguaggi formali (intese come pure sequenze di simboli), l'elaborazione con ...
Leggi Tutto
assioma
assiòma [Der. del lat. axíoma -atis, dal gr. axíoma -atos, da áxios "degno"] [ALG] [FAF] Principio certo per immediata evidenza e costituente la base per l'ulteriore ricerca. Nella matematica, [...] è in genere sinon. di postulato, da cui tuttavia si distingue, spec. nella logicamatematica, quando gli a. di un sistema formale indicano le proprietà che costituiscono una definizione implicita degli enti e delle relazioni cui si riferiscono, a ...
Leggi Tutto
De Morgan Augustus
De Morgan 〈dë mòghën〉 Augustus [STF] (Madura, India, 1806 - Londra 1871) Prof. di matematica nell'univ. di Londra (1828). ◆ [ALG] Leggi, o teoremi, di D.: nella logicamatematica, [...] leggi del calcolo proposizionale che hanno una notevole rilevanza nell'algebra booleana: v. circuiti logici: I 618 f. ...
Leggi Tutto
antinomia
antinomìa [Der. del gr. antinomía "controlegge"] [ALG] [FAF] Nella logica e logicamatematica, sinon. di paradosso logico (→ paradosso). ...
Leggi Tutto
(o eguaglianza) Condizione di cose o persone che siano tra loro identiche, o abbiano le stesse qualità, gli stessi attributi in ordine a determinate relazioni. In particolare, condizione per cui più persone [...] In generale, in algebra il concetto di u. si riduce a quello di isomorfismo.
In logicamatematica il concetto di u. si basa sul concetto logico di identità. È possibile definire esplicitamente l’identità mediante il linguaggio predicativo del secondo ...
Leggi Tutto
Filosofia
G.W. Leibniz chiamò arte c. quella che R. Lullo aveva battezzato ars magna, e cioè il simboleggiamento dei vari concetti in segni geometrici o algebrici, tale che permettesse di combinarli reciprocamente [...] possibilità di simboleggiare i concetti in segni geometrici o algebrici si rifarà più tardi la logicamatematica.
Informatica
Ottimizzazione combinatoria
Locuzione, usata anche nella ricerca operativa, per indicare quei problemi di ottimizzazione ...
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...