Ejercicio de reglas de inferencia - Figueroa-Flores, Nuria (2017)
Se realiza una demostración de una conclusión a partir de algunas premisas utilizando inferencias lógicas.