Ingeniería de sistemas lógicos
La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida. La lógica examina la validez de los argumentos en términos de su estructura, (estructura lógica), independientemente del contenido específico del discurso y de la lengua utilizada en su …