completezza funzionale, teorema di in logica, stabilisce che è sempre possibile associare un enunciato a una qualunque funzione booleana data (→ funzione logica).
completezza
completézza s. f. [der. di completo]. – 1. L’esser completo, o anche compiuto, finito in sé: c. di un elenco, di una raccolta, di una narrazione; la follia della c. persegue una totalità irreale per inibirci l’unico spazio aperto...
teorema
teorèma s. m. [dal lat. tardo theorēma, gr. ϑεώρημα (propr. «ricerca, meditazione», der. di ϑεω-ρέω «esaminare, osservare»)] (pl. -i). – 1. Nella cultura classica e medievale, la «visione» sensibile o intellettiva e il relativo...
