symbolic logic 0 lógica simbólica Tratamiento de la lógica formal mediante el empleo de un lenguaje formalizado. 1997-07-26 boolean algebraalgebra de Boole