logico1 lògico1 (ant. lòico) agg. [dal lat. logĭcus, gr. λογικός, der. di λόγος «discorso, ragionamento»] (pl. m. -ci). – 1. a. Che concerne la logica o la logica matematica: principî l.; linguaggio [...] che è vera se e solo se l’enunciato è falso; ecc. A ciascuna operazione logica corrisponde un connettivo l. che la individua (v. connettivo, n. 2 c). c. In elettronica, circuiti l., quelli che, funzionando attraverso dispositivi (realizzati mediante ... Leggi Tutto

tavola tàvola s. f. [lat. tabŭla]. – 1. Asse di legno di spessore sensibilmente minore della lunghezza e della larghezza: segare, piallare una t.; accatastare le t.; chiudere un’apertura con tre t. inchiodate; [...] le proposizioni che formano A (da un punto di vista astratto, la tavola di verità costituisce una definizione del sign. logico di quel connettivo; v. anche funzione, n. 6); più in generale, t. di verità di una formula F del calcolo delle proposizioni ... Leggi Tutto