proposizionale propoṡizionale agg. [der. di proposizione]. – In logica matematica, che si riferisce a proposizioni: calcolo p., il calcolo delle proposizioni (v. proposizione, n. 2); variabile p., variabile [...] che rappresenta una proposizione ... Leggi Tutto

calcolo1 càlcolo1 s. m. [dal lat. calcŭlus, propr. «pietruzza» (cfr. càlcolo2), attrav. il sign. di «gettone per fare i conti»]. – 1. a. Successione più o meno lunga di operazioni atte a fornire la soluzione [...] mediante una relazione di derivabilità; c. delle proposizioni (o c. proposizionale, o c. booleano), quello basato sulle operazioni logiche elementari (congiunzione, disgiunzione, negazione, implicazione). 3. Congettura, induzione, previsione, esame ... Leggi Tutto

variabile variàbile agg. e s. f. [dal lat. tardo variabĭlis, der. di variare «variare»]. – 1. agg. Che varia, che può variare, che è soggetto a variare: grandezza, valore, norma v.; il prezzo è v. secondo [...] . complessa, variabili che possono assumere, rispettivamente, soltanto valori reali o anche valori complessi. In logica matematica, v. proposizionale, lettera che indica una proposizione. Nel calcolo delle probabilità e nella statistica, v. aleatoria ... Leggi Tutto

forma fórma s. f. [lat. fōrma]. – 1. a. L’aspetto esteriore con cui si configura ogni oggetto corporeo o fantastico, o una sua rappresentazione: f. circolare, quadrata, ovale, sferica, regolare, irregolare; [...] , gli dà universalità e necessità; nella logica – con partic. riferimento al Tractatus logico-philosophicus di L. Wittgenstein (1921) –, la struttura della proposizione scientifica (Satzform, propr. «forma proposizionale») come momento che in essa ... Leggi Tutto