proposizioneproposizióne [Der. del lat. propositio -onis, dal part. pass. propositus di proponere "mettere avanti", comp. di pro- e ponere "porre"] [ALG] [FAF] Nella logica matematica, enunciazione [...] in forma dichiarativa non ambigua e che quindi può avere soltanto i due valori "vero" oppure "falso"; si dice semplice, o atomica, oppure composta a seconda che essa esprima una sola proprietà oppure sia ...
Leggi Tutto
Affermazione, proposizione, tesi, opinione che, per il suo contenuto o per la forma in cui è espressa, appare contraria all’opinione comune o alla verosimiglianza e riesce perciò sorprendente o incredibile. [...] al risparmio determina, attraverso la diminuzione della domanda globale, un minore livello del risparmio aggregato.
P. del valore Proposizione enunciata dall’economista classico A. Smith (1776) che evidenzia come in generale i beni di prima necessità ...
Leggi Tutto
Diritto
In diritto costituzionale, proposizione normativa (o enunciato) contenuta in un testo, usualmente distinta dalla norma, che risulta invece dall’attività interpretativa delle diverse disposizioni.
La [...] Pound, tra il «diritto nei libri» e il «diritto in azione».
In linea di massima, per d. si intende la proposizione normativa (o enunciato) contenuta in un testo e per norma ciò che risulta a seguito dell’attività interpretativa di una disposizione ...
Leggi Tutto
corollàrio Proposizione che si deduce da una verità già dimostrata. In matematica, un teorema che si deduce come diretta e immediata conseguenza di un teorema precedente, così da non richiedere un'ulteriore [...] dimostrazione ...
Leggi Tutto
proposizionale
proposizionale [agg. Der. di proposizione] [ALG] [FAF] Algebra p., o calcolo p.: nella logica matematica, lo stesso che algebra delle proposizioni: → proposizione. ◆ [ALG] [FAF] Leggi [...] p.: quelle relative alla logica p.: → proposizione. ◆ [ALG] [FAF] Logica p.: v. logica: III 483 b. ◆ [ALG] [FAF] Variabile p.: nella logica matematica, ogni variabile che rappresenti una proposizione. ...
Leggi Tutto
tautologia Nella logica formale classica, proposizione che, proponendosi di definire qualcosa, non fa sostanzialmente che ripetere nel predicato ciò che già è detto nel soggetto.
In logica matematica si [...] chiama t. (o verità logica) ogni espressione che risulti sempre vera, qualunque siano i valori di verità assegnati alle variabili ...
Leggi Tutto
Nella filosofia e nelle scienze, proposizione preliminare che si assume come certa o si dimostra prima di procedere alla dimostrazione vera e propria della tesi proposta. In particolare, in matematica, [...] teorema preliminare, che permette di dimostrare successivamente un nuovo e più significativo teorema.
La voce o la locuzione di cui tratta ogni singolo articolo di un dizionario, di un’enciclopedia e simili, ...
Leggi Tutto
teorema di Mazur
Arrigo Cellina
Proposizione secondo la quale uno spazio normato, un insieme che sia convesso e chiuso è anche chiuso rispetto alla topologia debole. Nella topologia debole si hanno [...] meno insiemi aperti, e quindi meno insiemi chiusi, che sono i loro complementari: in generale, quindi, un insieme, che sia chiuso rispetto alla metrica che deriva dalla norma, non è necessariamente chiuso ...
Leggi Tutto
La scienza bizantina e latina: la nascita di una scienza europea. L'infinito e l'eternita del mondo
Johannes M.M.H. Thijssen
L'infinito e l'eternità del mondo
La questione dell'infinito si è imposta [...] di numero, cioè due, tre, cento e così via (ibidem). Di conseguenza, in base a questa seconda definizione, la proposizione 'le parti in un continuo sono infinite di numero' era vera.
Gli interpreti delle teorie tardo-medievali dell'infinito hanno in ...
Leggi Tutto
In logica, relazione che si instaura tra un gruppo di proposizioni e una proposizione quando quest’ultima è detta seguire logicamente dalle prime. Si distinguono vari tipi di c. a seconda delle particolari [...] modalità concettuali che conducono all’affermazione che qualcosa ‘segua’ da qualcos’altro.
In logica matematica, relazione di c. è una particolare relazione che un’espressione ha con un insieme di espressioni, ...
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 che contiene l’enunciato. In partic.:...
indipendente
indipendènte agg. [comp. di in-2 e dipendente, part. pres. di dipendere]. – In generale, che non dipende, che non è soggetto o subordinato ad altre persone o ad altre cose. In partic.: 1. Di stato (o nazione), non soggetto alla...