standard
stàndard s. m. [dall’ingl. standard 〈stä′ndëd〉, che è dal fr. ant. estendart «stendardo»]. – 1. Livello, grado, tenore normale: lo s. di vita di un paese, di una famiglia; s. culturale, professionale [...] l’esistenza dei bosoni intermedî. Per modello solare s., o modello s. del Sole, v. sole (n. 1 a). e. In logicamatematica, modello s. di una teoria assiomatica, il modello più intuitivo e più regolare della teoria (in partic., una teoria per i numeri ...
Leggi Tutto
realizzabile
realiżżàbile agg. [der. di realizzare]. – Che può essere realizzato: sogni, progetti facilmente r., non realizzabili. Per il sign. del termine in logicamatematica, v. realizzazione. ...
Leggi Tutto
sostituire
sostitüire (ant. sustitüire) v. tr. [dal lat. substituĕre, propr. «mettere, porre sotto» (comp. di sub «sotto» e statuĕre «collocare»), con mutamento di coniug.] (io sostitüisco, tu sostitüisci, [...] letterale) al posto di una variabile in una espressione algebrica; con sign. analogo in altri contesti matematici (in partic., in logicamatematica e in informatica). b. Allontanare, rimuovere dal proprio posto e dalle proprie funzioni una persona ...
Leggi Tutto
occorrenza
occorrènza s. f. [der. di occorrere; nel sign. 3, sul modello dell’ingl. occurrence]. – 1. a. non com. Bisogno, necessità: farò fronte io a tutte le tue occorrenze; anche, faccenda a cui si [...] ), evenienze, circostanze: le varie o. della vita; comportarsi secondo le occorrenze. 3. In varie discipline (statistica, logicamatematica, linguistica, ecc.), ciascuno dei casi in cui si verifica un dato fenomeno, o ricorre un dato elemento; in ...
Leggi Tutto
simbolismo
s. m. [der. di simbolo; nel sign. 4, dal fr. symbolisme]. – 1. a. Carattere di ciò che è simbolico, che ha valore di simbolo: il s. di un gesto, di un’azione. b. Uso di particolari simboli [...] di qualcosa di piccolo, il suono di o quella di qualcosa di grosso). b. In logicamatematica, il complesso dei segni usati in un linguaggio per rappresentare gli operatori logici e gli oggetti di cui si intende parlare; l’adozione di un simbolismo ...
Leggi Tutto
condizionale
agg. [dal lat. tardo (dei grammatici e dei giuristi) conditionalis, der. di conditio -onis «condizione»]. – In genere, che esprime condizione, che è sottoposto a una condizione: clausola [...] della stessa indole e adempie agli obblighi impostigli, il reato è estinto. 3. a. In filosofia, è talvolta sinon. di ipotetico. b. In logicamatematica, come s. f., particolare connessione di due enunciati, detta più comunem. implicazione. ...
Leggi Tutto
refutabile
refutàbile agg. [dal lat. refutabĭlis, der. di refutare «respingere, rifiutare, confutare» (v. rifiutare2)]. – Che può essere respinto, che è da respingersi, confutabile. In logicamatematica, [...] un enunciato si dice refutabile in un dato insieme formale se, in tale sistema, è dimostrabile la sua negazione ...
Leggi Tutto
falso1
falso1 agg. [lat. falsus, propr. part. pass. di fallĕre «ingannare»]. – 1. In genere, si definisce falso tutto ciò che è sostanzialmente non vero, ma è creduto o si vuol far passare per vero. [...] Analogamente, in anatomia, f. coste, quelle che si congiungono allo sterno non direttamente ma per mezzo di cartilagini. d. In logicamatematica, è detto falso uno dei due «valori di verità» (v. valore). e. Per altre locuz., come f. bordone, f. piano ...
Leggi Tutto
NOT
‹nòt› avv., ingl. – Voce corrispondente all’italiano non, talora usata, con valore di sost. e in funzione appositiva, in logicamatematica per indicare l’operazione di negazione di una variabile [...] binaria (operazione NOT), e più spesso nell’elettronica digitale per indicare il dispositivo che attua la negazione (circuito NOT) ...
Leggi Tutto
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono essere considerate formalmente come oggetti...