espressione
espressione scrittura formale che coinvolge un numero finito di numeri, lettere (dotate di valore simbolico) e operazioni. Un’espressione algebrica è un’espressione che coinvolge solamente [...] è anche detta espressione frazionaria. Un’espressione in cui intervengano operatori differenziali o integrali è detta differenziale; un’espressione logica è un’espressione in cui intervengono operatori logici, quali connettivi o quantificatori. ...
Leggi Tutto
carattere
carattere uno qualsiasi dei simboli utilizzati per costruire una teoria formale. Il loro insieme è detto alfabeto. Per esempio, dell’alfabeto A = {a, b, c, d, ...} le lettere a, b, c... sono [...] a un dato alfabeto. Nell’alfabeto di un linguaggio formale, sono presenti, come caratteri, anche simboli logici quali i connettivi (nel linguaggio delle proposizioni e nel linguaggio dei predicati) e i quantificatori (nel linguaggio dei predicati ...
Leggi Tutto
algebra della logica
algebra della logica espressione con cui si indica l’applicazione alla logica dell’usuale calcolo algebrico, assumendo come elementi del calcolo non numeri, ma simboli che rappresentano [...] e come operazioni → connettivi e altri operatori logici. L’idea di poter estendere i calcoli dai numeri a qualsiasi tipo di simboli risale a G.W. Leibniz, ma la prima vera algebra della logica fu costruita da G. Boole (→ Boole, algebra di) ed ebbe ...
Leggi Tutto
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,...
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...