autoduale
autoduàle [agg. Comp. di auto- e duale] [ALG] [ANM] Duale di sé stesso, detto di configurazione e, più spesso, di proposizione (è a., per es., il teorema di Desargues). ...
Leggi Tutto
tesi
tèsi [Der. del lat. thesis, dal gr. thésis "posizione, cosa che viene posta", da títhemi "porre, collocare"] [ALG] [ANM] T. di un teorema: la proposizione che il teorema tende a dimostrare, a cui [...] si perviene attraverso una catena di deduzioni, partendo da un'altra proposizione che si suppone valida sin dall'inizio (ipotesi). ...
Leggi Tutto
diverso
divèrso [Der. del part. pass. diversus del lat. divertere "deviare", comp. di dis- e vertere "volgere", e quindi "differente, disuguale"] [ANM] Nel simbolismo matematico corrente, alla proposizione [...] "diverso da" corrisponde il simb. ≠, che si giustifica come negazione del simbolo di uguaglianza ...
Leggi Tutto
definizione
definizióne [Der. del lat. definitio -onis, da definire (→ definito)] [LSF] Il termine, nato nella filosofia naturale (spec. nella matematica) con il signif., che ha tuttora, di "proposizione [...] che individua un ente" (v. oltre per alcune locuz.), passò nell'ottica per qualificare la precisione dei dettagli di immagini visuali fornite da strumenti ottici e di qui passò poi, con lo stesso signif., ...
Leggi Tutto
implicazione
implicazióne [Der. del lat. implicatio -onis, dal part. pass. implicatus di implicare "piegare, avvolgere, coinvolgere", comp. di in- e plicare da plica "piega"] [FAF] Conseguenza necessaria [...] , di un evento, ecc. ◆ [ALG] [FAF] I. logica: la relazione intercorrente tra due proposizioni, o condizioni, A e B, quando dalla prima segue la seconda, scrivendosi A→B e leggendo "A implica B" oppure "se è vera A, allora è vera B". È detta ...
Leggi Tutto
trivalente
trivalènte [agg. Comp. di tri- e valente] [CHF] Di elemento chimico che ha valenza tre, cioè che presenta trivalenza. ◆ [ALG] [FAF] Logica t.: quella nella quale si ammette che una proposizione [...] possa essere o vera o falsa o indecidibile ...
Leggi Tutto
Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] che portano a compimento tra l’altro le idee dei successori di Aristotele. La logica stoica è una logica delle proposizioni, mentre la logica aristotelica è una logica dei predicati (o delle classi, non vuote), il che significa che mentre Aristotele ...
Leggi Tutto
Supposizione, giudizio fondato su indizi o apparenze probabili.
Linguistica
Nella critica testuale, ricostruzione ipotetica della lezione originaria, là dove la tradizione, manoscritta o a stampa, non [...] suggerisce un testo accettabile; anche, la parola o le frasi in cui tale ipotesi si concreta.
Matematica
Proposizione dimostrata vera in taluni casi, della quale non si sia riusciti a dimostrare la falsità in nessun caso e che perciò si presume vera ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Le tradizioni sulle coniche...
Roshdi Rashed
Philippe Abgrall
Le tradizioni sulle coniche e l'inizio delle ricerche sulle proiezioni
A [...] curva (Γ′) tali che PL è perpendicolare a IK si ha PL2=PI×PK, e la curva (Γ′) è un cerchio di diametro KI.
In una terza proposizione al-Farġānī dimostra che la retta Aω che passa per il centro di (Γ) taglia IK in un punto E che non è il centro di (Γ ...
Leggi Tutto
predicato
predicato [Der. del lat. praedicatum, part. pass. neutro sostantivato di praedicare "rendere noto"] [ALG] [FAF] (a) Ciò che si afferma o si nega intorno a un soggetto; (b) nella logica matematica, [...] e C sono allineati". ◆ [ALG] [FAF] Calcolo dei p.: la forma che assume il calcolo delle proposizioni (→ proposizione) quando, oltre alle proposizioni semplici e ai connettivi, si considerano anche p. e quantificatori. ◆ [ALG] [FAF] Logica dei p.: la ...
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...