Logica Formal

Como ya sabes, la lógica formal es un sistema lógico, que abstrae las formas de pensamiento de su contenido para establecer criterios abstractos.