logica /'lɔdʒika/ s. f. [dal lat. logĭca, gr. logikḗ (sottint. tékhnē "(arte) del discorrere")]. - 1. (filos.) [studio delle condizioni di validità di un ragionamento e sim.: l. formale, matematica] ≈ [...] elaborare un pensiero, un discorso, ecc., in modo che le idee siano connesse tra loro secondo un procedimento logico: condurre una dimostrazione con una l. perfetta; seguire una l. strana] ≈ ‖ argomentazione, linea, ragionamento. b. [giustezza di un ...
Leggi Tutto
logistica /lo'dʒistika/ s. f. [dal gr. logistikḗ (sottint. téchnē) "arte del computare"]. - 1. (matem., disus.) [disciplina che formalizza in linguaggio matematico le operazioni logiche] ≈ logicamatematica [...] (o simbolica). 2. a. [attività di coordinamento e sincronizzazione di persone e cose in una struttura collettiva] ≈ ‖ disposizione, sistemazione. b. [tecnica delle stivaggio di merci e, anche, luogo dove ...
Leggi Tutto
connettivo [der. di connettere]. - ■ agg. (biol.) [in istologia, di tipo di tessuto] ● Espressioni: fig., tessuto connettivo → □. ■ s. m. 1. (ling.) [elemento grammaticale che collega due frasi o parti [...] di frasi] ≈ congiunzione. 2. (matem.) [operatore logico che stabilisce un collegamento tra proposizioni in logicamatematica, informatica, ecc.] ≈ connettore. □ tessuto connettivo [parte fondamentale: tessuto c. di un'opera, di una società] ≈ base, ...
Leggi Tutto
derivazione /deriva'tsjone/ s. f. [dal lat. derivatio-onis, der. di derivare "derivare"]. - 1. a. [il derivare o l'essere derivato e, anche, il modo o il processo attraverso cui si deriva: d. d'acqua da [...] l'acqua: irrigare i campi mediante d.] ≈ ⇓ canale, fossato, tubazione. 2. (fig.) [risultato di un'inferenza logica o di una dimostrazione matematica: d. di una verità da un'altra; la d. di un corollario da un teorema] ≈ conclusione, conseguenza ...
Leggi Tutto
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono essere considerate formalmente come oggetti...