decisione
deciṡióne s. f. [dal lat. decisio -onis, der. di decīdĕre: v. decidere]. – 1. Nel linguaggio giur., pronuncia del giudice, con la quale viene decisa una controversia: la d. della Cassazione, [...] ’economia applicata per determinare politiche (procedure di decisione) volte alla massima riduzione dei costi. b. In logicamatematica, problema di decisione, ricerca di un procedimento effettivo, cioè costituito da un numero finito di passi, ognuno ...
Leggi Tutto
sequente
sequènte s. m. [dall’ingl. sequent, nel sign. di «conseguente»]. – In logicamatematica, coppia di insiemi di formule, dette rispettivam. premesse e conclusioni; il sequente è valido se dalla [...] congiunzione delle premesse si deduce la disgiunzione delle conclusioni ...
Leggi Tutto
realizzazione
realiżżazióne s. f. [der. di realizzare]. – 1. L’azione, l’operazione di realizzare; il fatto e il modo con cui qualcosa si realizza o viene realizzato: è vissuto tanto da vedere la r. [...] di tali operazioni: la r. scenica lascia un po’ a desiderare; similmente, r. radiofonica, televisiva, cinematografica. b. In logicamatematica, il termine è usato talvolta come sinon. di modello: si parla di r. di una teoria formale quando si ...
Leggi Tutto
soddisfacibile
soddisfacìbile agg. [der. di soddisfare]. – Che può essere soddisfatto; soprattutto nel sign. 3 del verbo soddisfare, che trova cioè accordo, rispondenza e sim. In logicamatematica, una [...] formula di una teoria si dice soddisfacibile se esiste una struttura tale che, interpretando in essa opportunamente le variabili, la formula risulti vera; per es., la formula 2x = y è soddisfacibile perché ...
Leggi Tutto
soddisfare
(tosc. o letter. sodisfare; ant. satisfare) v. tr. e intr. [lat. satisfacĕre, comp. di satis «abbastanza» e facĕre «fare»] (pres. io soddisfàccio o soddisfò o soddisfo, tu soddisfài o soddisfi, [...] la proprietà commutativa; si può applicare un teorema quando sono soddisfatte le ipotesi, ecc. Con sign. analogo, in logicamatematica, si dice che una formula è soddisfatta da certi elementi di una struttura (v. anche soddisfacibile). ◆ Part. pres ...
Leggi Tutto
v, V
(vu, meno com. vi, ant. o region. ve 〈vé〉) s. f. o m. – Ventunesima lettera dell’alfabeto latino. Fino almeno al sec. 16° ha avuto una storia comune con la lettera U, di cui costituiva una variante [...] : un motore a 16 v, un motore a 8 cilindri e a 32 v; in matematica, v rappresenta la lunghezza (o modulo) di un vettore, e v oppure M̅ il vettore stesso; in logicamatematica, V indica il valore di verità vero (contrapp. a F che sta per falso). Nel ...
Leggi Tutto
AND
‹änd› cong., ingl. – Voce corrispondente alla cong. ital. e, talora usata, con valore di sost. e in funzione appositiva, in logicamatematica per indicare l’operazione di congiunzione, o prodotto [...] logico, di due o più variabili binarie (operazione AND), e più spesso nell’elettronica digitale per indicare il dispositivo che attua la congiunzione (circuito o elemento AND). ...
Leggi Tutto
canonico1
canònico1 agg. [dal lat. canonĭcus, gr. κανονικός, der. di κανών -όνος (v. canone)] (pl. m. -ci). – 1. Che corrisponde o è conforme a un determinato canone, a una norma fissata: stile, procedimento, [...] o dotata di proprietà interessanti: equazione c.; forma c. di un’equazione. In logicamatematica, calcolo c., particolare tipo di calcolo logico che fornisce una delle realizzazioni del concetto generale di algoritmo. ◆ Avv. canonicaménte, secondo ...
Leggi Tutto
autoreferenza
autoreferènza s. f. [dall’ingl. self-reference, propr. «riferimento a sé stesso»]. – In logicamatematica, il carattere riflessivo degli enunciati che affermano qualcosa su sé stessi o [...] il cui contenuto implica un riferimento a sé stessi; in partic., tale caratteristica, in quanto si presenta in enunciati che coinvolgono i concetti di verità, di significato, di definizione, di classe ...
Leggi Tutto
infinitario
infinitàrio agg. [der. di infinito]. – In logicamatematica, detto di quelle logiche che ammettono formule e dimostrazioni infinitamente lunghe, costituite per es. da un’infinita serie di [...] congiunzioni o di disgiunzioni ...
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...