logico
lògico [agg. (pl.m. -ci) Der. del lat. logicus, dal gr. log✄ikós, a sua volta da lógos "discorso, ragio-namento"] [LSF] Che concerne la logica o che è conforme a essa come retto modo di ragionare. [...] vale 1 se e solo se le variabili xi hanno tutte valore 1; (c) l'inversione o negazione (operazione NOT) di una variabile, come l' l.: nella logica matematica, è un'espressione del linguaggio simbolico adottato che ha la proprietà di essere deducibile ...
Leggi Tutto
completezza
completézza [Der. di completo] [FAF] Proprietà di una teoria fisica per cui ogni suo elemento ha un corrispettivo nella realtà: v. completezza. ◆ [MCQ] C. asintotica: locuz. con cui s'indica [...] : v. logica: III 485 c, d. ◆ [FAF] Teorema di c. funzionale: nella logica, afferma che, data una qualunque funzione di verità f a n argomenti, per ogni n esiste uno schema di enunciato costruito nel linguaggio simbolico usando solo, quali connettivi ...
Leggi Tutto
falsificabile
falsificàbile, falsificabilità, falsificazióne [Der. di falso] [FAF] Nel linguaggio introdotto da K. Popper, termini der. di falsificare, nel signif. di dimostrare l'erroneità di un'affermazione [...] prevedere una qualche situazione di fatto che, presentandosi, consentirebbe di mostrare la loro erroneità: v. epistemologia: II 436 c. ◆ [FAF] Principio di falsificazione: afferma che una teoria è scientifica se e in quanto possa essere contraddetta ...
Leggi Tutto
numerativo
numerativo [agg. Der. di numerare (→ numeratore)] [FAF] In un linguaggio, le parole (dette anche, assolut., numerali s.m.) indicanti entità numeriche: v. Gödel, teorema di: III 55 c; comprendono [...] sia aggettivi che sostantivi e avverbi e, a seconda della funzione, si distinguono in: cardinali (uno, due, tre, ...); ordinali (primo, secondo, terzo, ...) e distributivi (per es., lat. bini "a due a ...
Leggi Tutto
faraday
faraday 〈fèrëdi〉 [s.m. invar. Der. del cognome di M. Faraday] [MTR] [CHF] La carica elettrica che, in una cella elettrolitica, libera un equivalente chimico di sostanza, misurando le masse atomiche [...] (i pesi atomici, nel linguaggio della chimica) in unità unificate (u), cioè in unità della massa dell'isotopo 12C; ha simb. Fa ed è 1 Fa=96 484.56 C (propr.: C/mol); accanto a questo si considerano talora le precedenti grandezze basate sulla scala ...
Leggi Tutto
aritmetizzazione
aritmetizzazióne [Atto ed effetto dell'aritmetizzare "rendere aritmetico", der. di aritmetico] [ALG] [FAF] [INF] Nella logica matematica: (a) in senso generale e storico, programma sviluppato [...] partic., procedimento con cui, seguendo determinate regole, si associano alcuni numeri interi ai segni e alle formule di un linguaggio, rendendo così possibile un calcolo matematico delle espressioni che sono prese in esame: v. Gödel, teorema di: III ...
Leggi Tutto
linguaggio
linguàggio s. m. [der. di lingua]. – 1. Nell’uso ant. o letter., e talora anche nell’uso com. odierno, lo stesso che lingua, come strumento di comunicazione usato dai membri di una stessa comunità: parlare con proprietà di l.; Questi...
f. c.
– 1. Nel linguaggio sport., abbrev. di «fuori combattimento», espressione comunem. adoperata in luogo di quella originale inglese k.o. (knock out), per significare che in un incontro di pugilato uno dei contendenti è stato atterrato...