Aplicaremos las leyes de la lógica-matemática como reglas lógicas de inferencia.