variabile libera
variabile libera in logica, variabile che compare in una formula ben formata di un linguaggio logico e che ha in essa almeno una occorrenza libera, cioè al di fuori del campo d’azione [...] che compare nella formula. Per esempio nella formula ∀y(y = 0) ⇒ (x = 0) la variabile x è libera perché non è legata alla presenza del quantificatoreuniversale ∀, il quale si riferisce invece alla variabile y che, pertanto, è vincolata. ...
Leggi Tutto
chiusura
chiusura (in logica) procedimento di inserimento delle variabili libere di una formula nel campo di azione di un quantificatore (universale o esistenziale) in modo da ottenere una nuova formula [...] in cui esse compaiono come variabili legate (→ formula chiusa) ...
Leggi Tutto
universale
Aggettivo che sta per " generale ", " che si estende a tutte le cose di una certa specie ", " che vale per tutti "; è opposto a ‛ particolare ' (v.). Il termine qualifica tutto ciò che è relativo [...] l'adunanza di tutti i popoli e di tutte le nazioni. ‛ Principia universalia ' sono gli " enunciati generali " (Mn I XIV 8; v. PRINCIPIO); signum universale (III VIII 4, 5, 6 e 10) è il ‛ quantificatore u. ' che fa sì che il termine, che segua ad esso ...
Leggi Tutto
universaleuniversale [agg. e s.m. Der. del lat. universalis, da universus "tutto intero"] [FTC] Qualifica di dispositivi o apparecchi che: (a) possono essere usati in condizioni diverse di alimentazione [...] di un attacco che gli consente di essere usato su macchine fotografiche di marca diversa. ◆ [ALG] [FAF] Quantificatore u.: → quantificatore. ◆ [FTC] [EMG] Strumento u.: nell'elettrotecnica e nell'elettronica, lo stesso che analizzatore elettrico o ...
Leggi Tutto
Sotto l’etichetta di indefiniti si raggruppano una serie di determinanti o sostituti del nome che danno informazioni quantitative sul referente del nome a cui si collegano. È una classe che comprende elementi [...] i valori fondamentali degli indefiniti.
Secondo una distinzione mutuata dalla logica formale, i quantificatori indefiniti come tutti e ogni sono chiamati anche «universali», perché si riferiscono a tutti gli elementi dell’insieme cui il nome fa ...
Leggi Tutto
variabile muta
variabile muta variabile dal cui valore non dipende il risultato del calcolo. Essa è un puro simbolo, necessario per indicare come si agisce sugli elementi di una espressione, ma che può [...] La locuzione variabile muta può quindi essere usata in logica come sinonimo di → variabile legata o vincolata, cioè di variabile introdotta in presenza di un quantificatore esistenziale o universale che compare solo nel campo d’azione o dominio del ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La logica e i fondamenti della matematica tra Ottocento e Novecento
Mario Piazza
I fondamenti della geometria
Nella seconda metà dell’Ottocento, in tutta Europa il baricentro delle ricerche geometriche [...] , altri simboli del formalismo sono: ‘∩’ (congiunzione), ‘∪’ (disgiunzione), ‘−’ (negazione), ‘⊃’ (derivazione), ‘∧’ (falso o assurdo); una notazione per la quantificazioneuniversale ‘a ⊃x,y b’, da leggersi ‘per ogni x, y da a si deduce b’; inoltre ...
Leggi Tutto
termine
Nel suo valore originario, designa il " limite " o " confine " di un terreno o di un territorio; per estensione, indica il " confine ", o i " limiti " entro cui si esercita un diritto formalmente [...] grammatico '. Conclude D.: è da considerare che cosa è distribuito dal segno universale ‛ omnis '; si vedrà così facilmente quantum sua [del quantificatore] distributio dilatetur, cognita natura et ambitu termini distributi (§ 6; per i problemi ...
Leggi Tutto
algebra universale
algebra universale settore disciplinare, parte dell’algebra e al tempo stesso sua evoluzione, che studia le proprietà comuni alle → strutture algebriche. Ciò avviene assumendo un punto [...] concetti di funzione, relazione, operazione e lo stesso quantificatore esistenziale sono ricondotti all’unico concetto di operazione n dell’elemento neutro e dell’inverso di ogni elemento. In algebra universale il gruppo è una quaterna (G, ·,−1, 1) in ...
Leggi Tutto
universale1
universale1 agg. [dal lat. universalis, der. di universus: v. universo1]. – 1. a. Che riguarda tutto l’universo, che si estende o è valido per l’intero universo fisico (nell’accezione scient. di questo termine): legge dell’attrazione...
quantificatore
quantificatóre agg. e s. m. [der. di quantificare]. – 1. In logica matematica, operatore che viene premesso a una variabile e che indica quanti oggetti (fra quelli che possono venire indicati dalla variabile) godono di una data...