logica binaria

Enciclopedia della Matematica (2013)

logica binaria


logica binaria locuzione utilizzata per indicare la teoria della correttezza dei ragionamenti deduttivi, ammettendo che a ogni enunciato, anche composto, possa essere assegnato uno solo tra due valori di verità (vero o falso). Per un inquadramento più generale di tale locuzione si veda → logica.

Vocabolario
lògico¹
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...
lògica
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,...