sequenti, calcolo dei
sequenti, calcolo dei calcolo logico introdotto da G. Gentzen negli anni Trenta del xx secolo i cui elementi sono i sequenti, vale a dire espressioni del tipo Γ ⊢ Δ in cui Γ e Δ [...] x al posto del termine t)
introduzione del quantificatore esistenziale a sinistra
(in questa regola la variabile x non è una variabilelibera nelle formule di Δ e Γ).
Regole strutturali
Le regole strutturali sono la regola di indebolimento ...
Leggi Tutto
giusto processo
giusto procèsso locuz. sost. m. – Calco dell'espressione ingl. due process of law, tipica della tradizione di common law e con la quale si descrive quel nucleo di tutele processuali che [...] regolatori la dinamica del procedimento nella concreta disciplina positiva. Le forme del decidere non costituiscono una variabilelibera lasciata alla discrezionalità assoluta del legislatore, il quale potrà regolare il procedimento come meglio crede ...
Leggi Tutto
termine libero
termine libero o termine aperto, in logica, termine di un linguaggio formale che contiene almeno una variabilelibera. In particolare, nel linguaggio dei predicati, termine che contiene [...] universale, cioè compare nel campo di azione di un quantificatore; il termine A(x, y), invece, risulta libero in quanto, oltre a x, contiene la variabilelibera y che non è vincolata dal quantificatore universale.
☐ Nel → lambda-calcolo un termine è ...
Leggi Tutto
formula aperta
formula aperta in logica, formula costruita nel linguaggio dei predicati in cui compare almeno una variabile x come variabilelibera, cioè al di fuori del campo d’azione di un quantificatore. [...] (si legge «per ogni x, x = 3») non è una formula aperta perché la variabile x è vincolata al quantificatore universale ∀; in questo caso si dice che la variabile x appare come variabile legata. La formula x + 2 > x · 1 è invece una formula aperta ...
Leggi Tutto
variabilevariàbile [agg. e s.f. Der. del lat. variabilis, da variare "variare"] [ANM] Di una quantità che può assumere valori in un certo insieme numerico, o, più in generale, di un simb. che rappresenta [...] variabili. ◆ [ELT] In contrapp. a costante, fisso e sim., di dispositivo caratterizzato dalla variabilità lagrangiana, o materiale: v. cinematica: I 598 d. ◆ [FAF] V. libera: nella logica matematica, una v. non sottoposta a un quantificatore (anche, v ...
Leggi Tutto
Capacità che un corpo o un sistema di corpi ha di compiere lavoro, sia come e. in atto, cioè che opera nel processo in cui si produce un lavoro ed è a esso commisurata, sia come e. potenziale, suscettibile [...] nel SI in joule.
Fisica
Forme di energia
L’e. posseduta o liberata da un corpo (o da un sistema di corpi) può essere dovuta il lavoro elementare è sempre un differenziale esatto (nelle tre variabili x, y, z), s’identifica cioè con il differenziale ...
Leggi Tutto
Composto chimico di formula H2O, assai diffuso in natura nei suoi tre stati d’aggregazione: solido, liquido e aeriforme. Nel linguaggio corrente s’intende in genere l’a. allo stato liquido.
Per la sua [...] del vapor acqueo atmosferico dovuto alla evaporazione delle a. superficiali; contengono una percentuale variabile di gas, di ammoniaca, libera o combinata, di nitriti, nitrati, cloruri ecc.; inoltre contengono in sospensione pulviscolo atmosferico ...
Leggi Tutto
famiglia
Antropologia
Istituzione fondamentale in ogni società umana, attraverso la quale la società stessa si riproduce e perpetua, sia sul piano biologico, sia su quello culturale. Le funzioni proprie [...] alternativa al matrimonio è la convivenza more uxorio, o unione libera, o ‘f. di fatto’. Nel nostro paese con quest (per es., curve, superfici) dipendenti da uno, due, ... n parametri variabili di solito con continuità (f. ∞1, ∞2, ..., ∞n), salvo ...
Leggi Tutto
L’insieme di individui o oggetti in un determinato ambito, considerati nel loro complesso e nell’estensione numerica.
Astronomia
P. stellare
L’insieme di stelle caratterizzate dalla loro composizione [...] accesso ai servizi e agli spazi per il tempo libero, miglioramento abitativo e ambientale, e anche questioni riguardanti l’etnia o la classe sociale di appartenenza, sono le principali variabili che concorrono a rendere lo spostamento di residenza un ...
Leggi Tutto
Sostanza di natura proteica (una volta detta fermento) che ha proprietà di accelerare una reazione chimica specifica senza esser consumata e senza entrare nei prodotti finali della reazione. Le sostanze [...] differenza di energia viene detta energia di attivazione ed è variabile da un sistema all’altro.
Il numero di molecole del della reazione, poi il complesso si scinde, l’e. torna libero e capace di combinarsi con un’altra molecola di substrato per ...
Leggi Tutto
tempo
tèmpo s. m. [lat. tĕmpus -pŏris, voce d’incerta origine, che aveva solo il sign. cronologico, mentre quello atmosferico (cfr. al n. 8) era significato da tempestas -atis]. – 1. L’intuizione e la rappresentazione della modalità secondo...
scatto
s. m. [der. di scattare]. – 1. a. Lo scattare di una molla; il liberarsi rapido e improvviso di un congegno tenuto in stato di tensione da una molla o da un’altra forza; anche, il rumore della molla o del congegno che scatta: lo s....