Estadísticas del PDF: logica - lp Manual de usuario y notas de implementación

Manual de usuario y notas de implementación

lp

F. Javier Gil Chica

2010

Parte I
Fundamentos teóricos

1. Qué es lp

lp es un pequeño programa que evalúa la validez de un argumento. Un
argumento consta de una serie de premisas y una conclusión. Si la conclusión
se sigue necesariamente de las premisas, entonces el argumento es válido. En
caso contrario, no. Puede demostrarse que un conjunto de premisas, junto
con la conclusión, se expresa mediante una fórmula que puede evaluarse. Del
resultado...