semantico
semantico [agg. (pl.m. -ci) Der. del fr. sémantique (→ semantica)] [ALG] [FAF] Completezza s.: nella logicamatematica, proprietà di una teoria in cui ogni formula vera in una certa interpretazione [...] classe di strutture) può essere dedotta dagli assiomi della teoria medesima. ◆ [ALG] [FAF] Paradosso s.: nella logicamatematica, paradosso che coinvolge il signif.; nasce o per confusione tra linguaggio e metalinguaggio oppure per voler attribuire ...
Leggi Tutto
incompleto
incomplèto [agg. Comp. di in- neg. e completo] [CHF] Reazione i.: reazione che s'arresta prima della completa trasformazione delle sostanze reagenti. ◆ [ALG] [FAF] Teoria i.: nella logica [...] matematica, una teoria formalizzata si dice sintatticamente i. quando esiste una formula del suo linguaggio di cui non si può dimostrare né la verità né la falsità, e si dice semanticamente i. se esistono conseguenze dell'insieme dei suoi assiomi che ...
Leggi Tutto
diadico
diàdico [agg. (pl.m. -ci) Der. di diade "relativo a una coppia, binario"] [ALG] Numerazione d.: lo stesso che numerazione binaria. ◆ [ALG] Operazione d., o binaria: operazione mediante la quale [...] di elementi di un insieme si fa corrispondere un elemento del medesimo insieme. ◆ [ALG] [FAF] Predicato d.: nella logicamatematica, qualsiasi predicato che si riferisca a due individui. ◆ [ALG] [FAF] Relazione d.: relazione tra due soli elementi di ...
Leggi Tutto
autoreferenza
autoreferènza [Der. dell'ingl. self-reference "riferimento a sé stesso"] [ALG] [FAF] Nella logicamatematica, il carattere riflessivo degli enunciati che affermano qualcosa su sé stessi [...] o il cui contenuto implica un riferimento a sé stessi; tale caratteristica, in quanto si presenta in enunciati che coinvolgono i concetti di verità, di significato, di definizione, di classe o di insieme, ...
Leggi Tutto
monadico
monàdico [agg. (pl.m. -ci) Der. di monade] [ALG] [FAF] Algebra m.: il sistema (B,c) costituito da un'algebra di Boole B e da un'operazione c unaria su B che verifica certi assiomi, compresi [...] quelli di chiusura; è tale, per es., uno spazio topologico nel quale ogni insieme risulti contemporaneamente aperto e chiuso. ◆ [ALG] [FAF] Attributo, o predicato, m.: nella logicamatematica, predicato riferibile a singoli elementi. ...
Leggi Tutto
assiomatico
assiomàtico [agg. (pl.m. -ci) Der. del gr. axiomatikós] [ALG] Metodo a.: v. assiomatizzazione: I 181 a. ◆ [ALG] [FAF] Trattazione a. (di una data questione): nella logicamatematica, la trattazione [...] in cui si astrae da ogni definizione costruttiva degli enti che intervengono nella questione e si considerano solo talune loro proprietà espresse formalmente in un sistema di assiomi, dai quali, per via puramente logica, si deducono nuove proprietà. ...
Leggi Tutto
soddisfacibile
soddisfacìbile [Der. di soddisfare, dal lat. satisfacere, comp. di satis "abbastanza" e facere "fare"] [ALG] [FAF] Formula s.: nella logicamatematica, è tale una formula se esiste una [...] struttura in cui, mediante un'opportuna interpretazione delle variabili, la formula medesima risulti vera, com'è, per es., per la formula 2x=y se la s'interpreta nel campo dei numeri interi ponendo x=1 ...
Leggi Tutto
modus tollens
modus tollens 〈mòdus tòllens〉 [Lat. "modo che nega"] [FAF] Inferenza della sillogistica classica, nota anche come legge di contrapposizione, del tipo: se p allora q; se non q, allora non [...] p. In termini di logicamatematica si esprime di solito così: "A una sequenza di espressioni in cui occorrono sia l'espressione ┐K sia l'espressione H→K, può essere aggiunta l'espressione ┐H". ...
Leggi Tutto
scelta
scélta [Der. del part. pass. scelto di scegliere, lat. exeligere] [LSF] Atto ed effetto dello scegliere. ◆ [ALG] [FAF] Assioma di s.: nella logicamatematica, afferma che, data una classe C di [...] insiemi non vuoti, si può costruire un insieme S, detto insieme selettivo in C, scegliendo uno e un solo elemento da ogni insieme di C ...
Leggi Tutto
proposizionale
proposizionale [agg. Der. di proposizione] [ALG] [FAF] Algebra p., o calcolo p.: nella logicamatematica, lo stesso che algebra delle proposizioni: → proposizione. ◆ [ALG] [FAF] Leggi [...] p.: quelle relative alla logica p.: → proposizione. ◆ [ALG] [FAF] Logica p.: v. logica: III 483 b. ◆ [ALG] [FAF] Variabile p.: nella logicamatematica, ogni variabile che rappresenti una proposizione. ...
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...