FROMOND, Giovanni Claudio (al secolo Guglielmo Giuseppe)
Renato Pasta
Di famiglia originaria di Dôle, nella Franca Contea, nacque a Cremona il 4 febbr. 1703, terzogenito di Gian Simone e di Lucia Binda.
La [...] le critiche dei contemporanei fu soprattutto l'equivalenza tra percezione e giudizio suggerita dal F. Federighi, Pisa 3 dic. 1759).
La fortuna non arrise al sistema logico del F., come mostrano i commenti manoscritti in margine a un esemplare della ...
Leggi Tutto
simmetrico
simmètrico [agg. (pl.m. -ci) Der. di simmetria] [LSF] Di sistemi che presentino una qualche simmetria, per lo più geometrica, nella loro configurazione ma anche di funzioni che li descrivono, [...] polinomi fondamentali. ◆ [ALG] [FAF] Proprietà s.: nella logica matematica, la proprietà di una relazione R tale che se a ) anche b è associato ad a (bRa), com'è, per es., l'equivalenza, in partic. l'uguaglianza (R è il segno =). ◆ [PRB] Seriazione ...
Leggi Tutto
coerente
coerènte [agg. Der. del part. pres. cohaerens -entis del lat. cohaerere "essere strettamente unito"] [LSF] Oltre che nel signif. proprio, il termine è usato, figurat., per indicare qualcosa [...] tra loro. ◆ [ANM] Calcolo c.: nella logica matematica, calcolo in cui non sono dimostrabili contemporaneamente di un particolare operatore avente particolari proprietà di equivalenza con il comportamento di sistemi classici in virtù delle ...
Leggi Tutto
materiale 1
materiale1 [agg. Der. del lat. materialis, da materia] [LSF] [MCC] Che consta di materia o che si riferisce a proprietà della materia: corpo m., corpo ordinario, esistente nel mondo naturale [...] v. cinematica: I 698 d. ◆ [MCC] Derivata m.: lo stesso che derivata totale: v. cinematica: I 598 e. ◆ [FAF] [ALG] Equivalenza m.: nella logica matematica, l'asserto p↔q, valida quando p e q hanno lo stesso valore. ◆ [FAF] [ALG] Implicazione m.: nella ...
Leggi Tutto
astratto
astratto [agg. e s.m. Der. del part. pass. abstractus del lat. abstrahere "tirar fuori, astrarre", comp. di ab- "fuori" e trahere "trarre"] [FAF] Ottenuto per astrazione, oppure, in contrapp. [...] della classe hanno in comune (rispetto a una prefissata relazione di equivalenza): per es., un vettore è l'a. di una classe 91 a. ◆ [LSF] Scienze a.: quelle (come la matematica, la logica, ecc.) che non hanno per oggetto la realtà empirica. ◆ [ALG] ...
Leggi Tutto
enunciato
enunciato [Der. del part. pass. enuntiatus del lat. enuntiare, comp. di ex "fuori" e nuntiare "annunciare" e quindi "annunciare pubblicamente, esternare"] [FAF] [ALG] Secondo la definizione [...] un insieme di assiomi e da regole di derivazione) che, oltre ai simb. dei connettivi logici (negazione, congiunzione, alternativa, implicazione, equivalenza) ammette solo espressioni enunciative; nel calcolo degli e., cioè, si studia il periodo senza ...
Leggi Tutto
OR
‹òo›, all’ital. ‹òr› cong., ingl. – Voce corrispondente alla cong. disgiuntiva ital. o, talora usata, con valore di sost. e in funzione appositiva, in logica matematica per indicare l’operazione di disgiunzione o somma logica di due o più...
valore
valóre s. m. [dal lat. tardo (in glosse) valor -oris, der. di valere: v. valere]. – 1. Riferito a persona indica: a. Possesso di alte doti intellettuali e morali, o alto grado di capacità professionale: un uomo, una donna di v., di...