• Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X
Cerca in:
enciclopedia
biografico
vocabolario
sinonimi
atlante
il chiasmo
lingua italiana
109 risultati
Tutti i risultati [1534]
Algebra [109]
Matematica [384]
Filosofia [341]
Biografie [312]
Fisica [200]
Temi generali [146]
Storia della fisica [133]
Metafisica [124]
Fisica matematica [122]
Epistemologia [105]

predicativo

Dizionario delle Scienze Fisiche (1996)

predicativo predicativo [agg. Der. di predicato "relativo a predicati"] [ALG] [FAF] Espressione p.: nella logica matematica, ogni espressione F che sia coerente con sé stessa; in simb., Pred (F)↔F(F) [...] (si parla di espressione impredicativa nel caso contrario); per es., l'aggettivo "astratto" è p. (mentre "concreto" è impredicativo) ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA – EPISTEMOLOGIA – METAFISICA

nulla

Dizionario delle Scienze Fisiche (1996)

nulla nulla [s.m. invar. Lat. nulla, pl.neutro del-l'agg. nullus "nessuno"] [FAF] La categoria mentale del non essere, dell'assenza di qualunque cosa o concetto. ◆ [ALG] [FAF] Nella logica matematica, [...] la classe cui non appartiene alcun elemento, detta anche classe vuota, insieme vuoto, insieme nullo, ecc ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA – EPISTEMOLOGIA – METAFISICA

quantificazione

Dizionario delle Scienze Fisiche (1996)

quantificazione quantificazióne [Der. dell'ingl. quantification, da to quantify "quantificare" (→ quantificatore), "atto ed effetto del quantificare"] [LSF] Termine talora usato, impropr., come sinon. [...] di quantizzazione. ◆ [ALG] [FAF] Teoria della q.: nella logica matematica, lo studio dei quantificatori e delle loro funzioni, strettamente collegato con lo studio dei predicati. ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – TEMI GENERALI – ALGEBRA – EPISTEMOLOGIA – METAFISICA

iota

Dizionario delle Scienze Fisiche (1996)

iota iòta [Nome della 9a lettera dell'alfab. gr., corrispondente alla vocale latina i] [FAF] [ALG] Operatore i.: operatore descrittivo della logica matematica, che significa "l'unico"; per es., ι(x+5=7) [...] significa l'unico x che sommato a 5 dà 7, cioè il numero 2 ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA – EPISTEMOLOGIA – METAFISICA

poliadico

Dizionario delle Scienze Fisiche (1996)

poliadico poliàdico [agg. (pl.m. -ci) Der. di poliade] [LSF] Che è relativo a una poliade, spec. nella matematica, ove equivale a n-adico. ◆ [ALG] [FAF] Predicato, o attributo, p.: nella logica matematica, [...] predicato riferibile a più elementi, come, per es., il predicato "è maggiore di" ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – TEMI GENERALI – ALGEBRA – EPISTEMOLOGIA – METAFISICA

valido

Dizionario delle Scienze Fisiche (1996)

valido vàlido [agg. Der. del lat. validus "valido", che è da valere "stare bene, essere forte"] [ALG] [FAF] Formula logicamente v. o universalmente v. o anche semplic. v.: nella logica matematica, ogni [...] formula che risulti vera qualunque sia il signif. dei simb. che compaiono in essa ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA – EPISTEMOLOGIA – METAFISICA

validita

Dizionario delle Scienze Fisiche (1996)

validita validità [Der. di valido] [ALG] [FAF] Teorema di v., o di correttezza, dei calcoli predicativi del primo ordine: nella logica matematica, afferma che qualunque teorema di un calcolo predicativo [...] del primo ordine è una formula logicamente valida, cioè è vera sotto ogni possibile interpretazione. ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA – EPISTEMOLOGIA – METAFISICA
Mostra altri risultati Nascondi altri risultati su validita (2)
Mostra Tutti

transfer

Dizionario delle Scienze Fisiche (1996)

transfer trànsfer [Lettura it. di un s.ingl. "trasferimento", dal v. to transfer 〈trènsfëë〉 "trasferire", che è dal lat. transferre, comp. di trans "oltre" e ferre "portare"] [ALG] [FAF] Principio del [...] t.: importante teorema della logica matematica: v. analisi non standard: I 147 d. ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA – EPISTEMOLOGIA – METAFISICA

prenesso

Dizionario delle Scienze Fisiche (1996)

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 logica matematica, espressione predicativa [...] in cui tutti i quantificatori si trovano all'inizio ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA – EPISTEMOLOGIA – METAFISICA

metasimbolo

Dizionario delle Scienze Fisiche (2012)

metasimbolo metasìmbolo [Comp. di meta- e simbolo] [ALG] [FAF] Nella logica matematica, simb. non appartenente all'alfabeto di una teoria e che viene introdotto con funzione ausiliaria per semplificare [...] l'esposizione della teoria medesima ... Leggi Tutto
CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA – EPISTEMOLOGIA – METAFISICA
1 2 3 4 5 6 7 8 ... 11
Vocabolario
lògica
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,...
lògico¹
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...
Leggi Tutto
  • Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X
  • Ricerca
    • Enciclopedia
    • Vocabolario
    • Sinonimi
    • Biografico
    • Indice Alfabetico

Istituto della Enciclopedia Italiana fondata da Giovanni Treccani S.p.A. © Tutti i diritti riservati

Partita Iva 00892411000

  • facebook
  • twitter
  • youtube
  • instagram
  • Contatti
  • Redazione
  • Termini e Condizioni generali
  • Condizioni di utilizzo dei Servizi
  • Informazioni sui Cookie
  • Trattamento dei dati personali