Al tratarse de Lógica, uno de los campos de las Matemáticas discretas más deductivos que existen, es de gran necesidad aplicar un apartado introductorio que explique de forma escueta y concisa de qué trata este campo que, como se ve en este artículo, lleva al límite sus fundamentos.