Logic: Deduction

Usar la deducción para probar la validez de un argumento no es diferente a jugar uno de los muchos juegos de mesa. En las damas, por ejemplo, hay un tablero y un conjunto de fichas. Mueve las fichas en el tablero de acuerdo con un conjunto de reglas para lograr un objetivo específico. En una prueba deductiva hay un conjunto de premisas y una conclusión. El objetivo es manipular las premisas con un conjunto de reglas de inferencia para obtener la conclusión. No se necesitan requisitos previos para utilizar esta aplicación. Contiene amplia documentación para el usuario.

Disfruta de la aplicación.