摘要：Las dos ramas principales de la lógica son la lógica formal (o lógica menor) y la lógica material (o lógica mayor).La lógica material se ocupa del contenido semántico de la argumentación.La lógica formal se interesa por la forma o estructura de los razonamientos, es la lógica clásica propiamente dicha.Establecer cuáles son las formas correctas y válidas de los raciocinios, la verdad de las premisas y de las conclusiones es una preocupación derivada para esta rama.
关键词：Axiomatización;Estructura Formal;Vocabulari;Reglas de Definición;Reglas de Inferencia
