simbolismo s. m. [der. di simbolo; nel sign. 4, dal fr. symbolisme]. – 1. a. Carattere di ciò che è simbolico, che ha valore di simbolo: il s. di un gesto, di un’azione. b. Uso di particolari simboli per [...] di qualcosa di piccolo, il suono di o quella di qualcosa di grosso). b. In logica matematica, il complesso dei segni usati in un linguaggio per rappresentare gli operatorilogici e gli oggetti di cui si intende parlare; l’adozione di un simbolismo ...
Leggi Tutto
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 l.; calcolo l.; o, più genericam., che riguarda...
logica
lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto viene espresso; in partic., in Aristotele,...
not
not uno degli operatori logici fondamentali dell’algebra di → Boole, anche denominato complemento. Corrisponde, in logica, al connettivo della negazione indicato con il simbolo ￢. Esso associa a ogni enunciato A la sua negazione, cioè...
and
and uno degli operatori logici fondamentali dell’algebra di → Boole, detto anche prodotto logico e indicato con ×. Corrisponde al connettivo ∧ della congiunzione che, dati due enunciati A e B, ne costruisce un terzo, A ∧ B, che è vero...