circuito
circùito (ant. circuìto) s. m. [dal lat. circuǐtus -us, der. di circuire «andare intorno»]. – 1. Giro, circonferenza: il territorio del comune ha un c. di quasi 40 km; la città è compresa entro [...] , dispositivo (costituito generalm. da un circuito integrato) che col proprio comportamento attua una funzione logica, spesso binaria, elementare (congiunzione, disgiunzione, ecc.) o più complicata, e che può servire come elemento costitutivo di ...
Leggi Tutto
definibilita
definibilità s. f. [der. di definibile]. – Possibilità di essere definito. In matematica e in logica matematica, la proprietà che ha un ente di essere calcolabile, per es. mediante funzioni [...] ricorsive ...
Leggi Tutto
agente
agènte agg. e s. m. e f. [dal lat. agens -entis, part. pres. di agĕre «fare»]. – 1. agg. Che agisce, che provoca un determinato effetto; con sign. più partic. in filosofia: causa a., lo stesso [...] , o l’animale, che compie l’azione (es.: «non sei stato visto da nessuno»; «il gregge fu assalito dai lupi»); per la funzione logica corrisponde al soggetto della prop. attiva. 3. s. m. e f. Chi agisce per conto di terzi, o tratta affari altrui, o ...
Leggi Tutto
redarguizione
redarguizióne s. f. [dal lat. redargutio -onis «confutazione», rifatto su redarguire]. – 1. raro. Il fatto di redarguire, di rimproverare: quelle r. in pubblico erano veramente oltraggiose [...] (Svevo). 2. Nella logica formale, sinon. di elenco. ...
Leggi Tutto
occorrenza
occorrènza s. f. [der. di occorrere; nel sign. 3, sul modello dell’ingl. occurrence]. – 1. a. non com. Bisogno, necessità: farò fronte io a tutte le tue occorrenze; anche, faccenda a cui si [...] verbo occorrere), evenienze, circostanze: le varie o. della vita; comportarsi secondo le occorrenze. 3. In varie discipline (statistica, logica matematica, linguistica, ecc.), ciascuno dei casi in cui si verifica un dato fenomeno, o ricorre un dato ...
Leggi Tutto
definizione
definizióne (ant. diffinizióne) s. f. [dal lat. definitio -onis]. – 1. Determinazione, delimitazione esatta: d. di un confine; d. dei limiti di competenza di due organi amministrativi; d. [...] si ha quando un termine è definito da una frase contenente soltanto altri termini di significato noto. d. In logica matematica, d. metalinguistica, quella espressa in un metalinguaggio, ossia in un linguaggio nel quale si può parlare del linguaggio ...
Leggi Tutto
soddisfacibile
soddisfacìbile agg. [der. di soddisfare]. – Che può essere soddisfatto; soprattutto nel sign. 3 del verbo soddisfare, che trova cioè accordo, rispondenza e sim. In logica matematica, una [...] formula di una teoria si dice soddisfacibile se esiste una struttura tale che, interpretando in essa opportunamente le variabili, la formula risulti vera; per es., la formula 2x = y è soddisfacibile perché ...
Leggi Tutto
soddisfare
(tosc. o letter. sodisfare; ant. satisfare) v. tr. e intr. [lat. satisfacĕre, comp. di satis «abbastanza» e facĕre «fare»] (pres. io soddisfàccio o soddisfò o soddisfo, tu soddisfài o soddisfi, [...] la proprietà commutativa; si può applicare un teorema quando sono soddisfatte le ipotesi, ecc. Con sign. analogo, in logica matematica, si dice che una formula è soddisfatta da certi elementi di una struttura (v. anche soddisfacibile). ◆ Part ...
Leggi Tutto
episillogismo
s. m. [comp. di epi- e sillogismo]. – Nella logica formale, il sillogismo che si aggiunge a un sillogismo precedente, assumendo la conclusione di quest’ultimo come una delle sue premesse. ...
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 e della conoscenza» nell’ambiente protostoico,...
logica
Il termine designa l'insieme delle dottrine che presiedono al corretto uso dell'argomentazione e del linguaggio al fine di stabilire la verità o la falsità di un enunciato. Il termine l. non occorre nelle opere dantesche, ma occorre...