implicazioneimplicazióne s. f. [dal lat. implicatio -onis]. – 1. non com. L’implicare, l’essere implicato; lo stato di più cose implicate insieme. 2. a. Conseguenza logica, necessaria di un fatto: i. [...] dell’opera d’arte e l’opera stessa. c. Nella logica, i. logica, la relazione che intercorre tra due proposizioni, o condizioni, A e B, quando dalla prima segue la seconda; si esprime dicendo che A implica B, ovvero: se è vera A allora è vera B ...
Leggi Tutto
se2
se2 cong. [lat. tardo se(d), incrocio di sī con quid «che cosa»] (radd. sint.). – 1. Con valore condizionale, ipotetico: a. Posto che, ammesso che, dandosi il caso che, e sim.; introduce proposizioni [...] due lati sono uguali, allora sono uguali anche gli angoli opposti a essi); in logica matematica, la locuz. se ... allora corrisponde al connettivo implicazione; in matematica e in logica matematica si usano anche le locuz. se e solo se, se e soltanto ...
Leggi Tutto
lineare1
lineare1 agg. [dal lat. linearis]. – 1. Inerente a una linea (per lo più retta), che procede secondo una retta, o che si sviluppa prevalentemente nel senso della lunghezza: misure l., le misure [...] ’analisi più profonda dei connettivi e dei quantificatori (per es., i connettivi della logica lineare permettono di precisare l’ordine secondo cui vanno enunciate le ipotesi di una implicazione e il numero di volte in cui ciascuna di esse verrà usata ...
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 [...] c. delle proposizioni (o c. proposizionale, o c. booleano), quello basato sulle operazioni logiche elementari (congiunzione, disgiunzione, negazione, implicazione). 3. Congettura, induzione, previsione, esame preventivo e sim.: fare un c. delle spese ...
Leggi Tutto
funzione
funzióne s. f. [dal lat. functio -onis, der. di fungi «adempiere»]. – 1. Attività svolta abitualmente o temporaneamente in vista di un determinato fine, per lo più considerata nel complesso [...] di produzione è in f. del tempo disponibile. 6. In logica matematica, operazione che, applicata a elementi (detti argomenti) di un mediante opportuni connettivi (negazione, congiunzione, disgiunzione, implicazione, ecc.), ciascuno dei quali è a sua ...
Leggi Tutto
condizionale
agg. [dal lat. tardo (dei grammatici e dei giuristi) conditionalis, der. di conditio -onis «condizione»]. – In genere, che esprime condizione, che è sottoposto a una condizione: clausola [...] della stessa indole e adempie agli obblighi impostigli, il reato è estinto. 3. a. In filosofia, è talvolta sinon. di ipotetico. b. In logica matematica, come s. f., particolare connessione di due enunciati, detta più comunem. implicazione. ...
Leggi Tutto
connettivo
agg. e s. m. [der. di connettere]. – 1. agg. a. Che connette o serve a connettere. In partic., in istologia, tessuto c. (o, come sost., il connettivo), vasto gruppo di tessuti (c. propriamente [...] , periodi, parti di un testo. c. In logica matematica, tipo di funzione di verità, cioè termine che non è in sé né vero né falso, ma corrisponde a un’operazione (negazione, congiunzione, disgiunzione, implicazione, ecc.) che alla verità o falsità di ...
Leggi Tutto
contronominale
contronominale proposizione (o enunciato) associata a una implicazione logica del tipo A ⇒ B in cui la proposizione antecedente viene scambiata con quella conseguente e di entrambe si considerano le rispettive negazioni; formalmente:...
proposizione inversa
proposizione inversa di una data implicazione logica quale A ⇒ B, è l’implicazione B ⇒ A, che si ottiene scambiando tra loro la proposizione antecedente e quella conseguente. Una proposizione e la sua inversa non sono...