metasimbolo
metasìmbolo s. m. [comp. di meta- e simbolo]. – In logicamatematica, simbolo non appartenente all’alfabeto di una teoria oggetto di studio e che viene introdotto con funzione ausiliaria [...] per semplificare l’esposizione della metateoria ...
Leggi Tutto
proposizione
propoṡizióne s. f. [dal lat. propositio -onis, propr. «il mettere innanzi», der. di proponĕre: v. proporre]. – 1. In genere, ciò che si enuncia, si dichiara, si afferma, e la frase stessa [...] : con quelle sue p. sciocche, io l’ho per un dirittone e per un impiccione (Manzoni). 2. In logicamatematica, enunciazione o espressione di un giudizio in forma dichiarativa non ambigua; ogni proposizione risulta pertanto vera oppure falsa: per es ...
Leggi Tutto
categorico
categòrico agg. [dal lat. tardo categorĭcus, gr. κατηγορικός] (pl. m. -ci). – 1. Di categoria, relativo a categorie nel sign. filosofico; il termine, che in Aristotele significava semplicem. [...] c.), sia, per analogia, a una morale assoluta, non subordinata cioè ad alcuna condizione (imperativo c.). 2. In logicamatematica e in algebra, teoria c., teoria i cui modelli sono tutti fra loro isomorfi. 3. estens. Preciso, deciso, assoluto ...
Leggi Tutto
sopralineatura
(o soprallineatura) s. f. [der. di sopral(l)ineare]. – Nella scrittura matematica e scientifica, particolare soprassegno costituito da una lineetta orizzontale posta immediatamente al [...] , X− il valor medio della variabile casuale X; in teoria degli insiemi A− è il complementare dell’insieme A; in logicamatematica p̄ è la negazione della proposizione p; in topologia S− è la chiusura dell’insieme S, ecc.; in elettronica digitale ...
Leggi Tutto
appartenenza
appartenènza s. f. [der. di appartenere; nel sign. concr., dal lat. mediev. appertinentia]. – 1. a. L’appartenere, il fatto di appartenere: l’a. a un partito politico, a un gruppo, a una [...] un piano», «passare per un punto, o per una retta», e che hanno pertanto carattere grafico. b. Nella teoria degli insiemi e in logicamatematica si dice che un oggetto a appartiene all’insieme I se a è un elemento di I: in questo caso si dice che tra ...
Leggi Tutto
operatore
operatóre s. m. [dal lat. tardo operator -oris]. – 1. (f. -trice) a. Chi opera, chi compie determinate azioni o operazioni, per lo più abitualmente. Raro in usi generici: o. del male; o. di [...] a vettori o dà luogo a un vettore (sono tali il gradiente, la divergenza, il rotore, ecc.). In logicamatematica, o. logico, simbolo che trasforma una forma enunciativa (cioè un’espressione nella quale si trovano affermazioni che non sono enunciati ...
Leggi Tutto
rimpiazzamento
rimpiazzaménto s. m. [der. di rimpiazzare]. – Forma ormai non com. per rimpiazzo, ma specifica nelle locuz. della logicamatematica assioma di r., assioma introdotto da A. A. Fraenkel, [...] intorno al 1922, per eliminare alcuni inconvenienti della teoria assiomatica degli insiemi di Zermelo; e teorema (o principio) di r., che può essere così enunciato: se all’interno di una formula si rimpiazza ...
Leggi Tutto
enumerabile
enumeràbile agg. [der. di enumerare]. – Che può essere enumerato, cioè enunciato ordinatamente (non com.): i suoi meriti sono tanti, che sono difficilmente enumerabili. Con sign. specifico, [...] nella logicamatematica, si dice di un insieme quando esiste un procedimento effettivo per stabilire una corrispondenza biunivoca tra quell’insieme e l’insieme dei numeri naturali. ...
Leggi Tutto
decidibile
decidìbile agg. [der. di decidere]. – 1. Che può essere deciso, cioè risolto, stabilito, determinato. 2. In logicamatematica, determinabile per mezzo di un giudizio, di una decisione: in [...] partic., una teoria formalizzata si dice decidibile se e solo se esiste un procedimento per accertare in un numero finito di passi se una qualsiasi formula è o no un teorema della teoria; un insieme I ...
Leggi Tutto
computabile
computàbile agg. [dal lat. computabĭlis]. – Che si può computare; di cui si può o si deve tener conto: periodo di servizio militare c. ai fini della pensione. In logicamatematica e in informatica [...] teorica, detto di una funzione (per es., l’insieme dei numeri naturali) che si può calcolare effettivamente, cioè per la quale esiste un procedimento che permette di determinarne i valori; con sign. più ...
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...