¿cómo se resuelve una inferencia lógica usando las reglas de

inferencias?
El proceso de pasar de un conjunto de proposiciones llamadas premisas a
otra proposición llamada conclusión, puede ser de forma vertical y
horizontal
Ejemplo:
“Si Lima es la capital del Perú, el Palacio de Gobierno se haya en su Plaza
Mayor. Es el caso que la capital del Perú es Lima”. Por lo tanto
• Formalización Lineal: [(p → q) Λ p] → q
• Formalización vertical: p → q
P
.q
•Conclusión: El Palacio de Gobierno del Perú está en la Plaza Mayor de
Lima
En conclusión: hemos aprendido a identificar las leyes y 3 formas para dar
solución a la inferencia lógica, puede ser la tabla de verdad, las leyes o
validar si es verdadero o falso.