simbolico simbòlico agg. [dal lat. tardo symbolĭcus, gr. συμβολικός, der. di σύμβολον «simbolo»] (pl. m. -ci). – 1. Che ha natura e valore di simbolo: numeri, segni s.; il linguaggio s. della matematica; [...] simbolico in matematica si identifica con il calcolo letterale e, più in generale, con ogni procedimento che richiami il calcolo aritmetico e algebrico (per es., in logica matematica). Algebra s., il calcolo algebrico oggi normalmente in uso e che ... 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 [...] soggetti, composta se è ottenuta da più proposizioni semplici per mezzo di connettivi. Calcolo delle p. (detto anche calcolo degli enunciati), il calcolo algebrico logico in cui, senza indagare sulla struttura delle singole proposizioni semplici, si ... Leggi Tutto

predicato s. m. [dal lat. praedicatum, part. pass. neutro sostantivato di praedicare (v. predicare), che come termine della logica e della grammatica traduce, nel lat. tardo e mediev., il gr. κατηγορούμενον [...] »); quando, come negli esempî precedenti, si applica un predicato a costanti, si ottiene una proposizione. Calcolo dei p., il calcolo algebrico logico in cui si studiano le espressioni (formule) che si possono costruire con predicati, applicati a ... Leggi Tutto

procedimento procediménto s. m. [der. di procedere]. – 1. ant. o poco com. Il fatto e il modo di procedere, cioè di svolgersi, di progredire: il p. delle indagini, o nelle indagini; spiegare, illustrare [...] per giungere alla soluzione di un determinato problema: risolvere un quesito con p. algebrico, geometrico; il p. è giusto ma il risultato è sbagliato perché c’è stato un errore di calcolo; per p. euristico e p. iterativo, v. i singoli aggettivi. In ... Leggi Tutto

logica lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto [...] ., l. matematica, la logica simbolica in quanto il valore delle proposizioni è quantificato e sottoposto a un calcolo di tipo algebrico; l. intensionale, nella quale i significati delle proposizioni o dei termini si riferiscono ai connotati che li ... Leggi Tutto

punto2 punto2 s. m. [lat. pŭnctum, lat. tardo pŭnctus, der. di pŭngĕre «pungere»: propr. «puntura, forellino»]. – 1. a. Nel cucito e nel ricamo, l’atto del passare il filo attraverso la stoffa e ripassarlo [...] , nel quale si segue l’uso anglosassone); viene inoltre utilizzato, a mezz’altezza, per indicare un prodotto, spec. nel calcolo algebrico (per es.: a2· b), e per indicare la derivata di una funzione, nel qual caso viene posto sopra la lettera ... Leggi Tutto