Fitch Las pruebas Formato - cualquier recurso de todo?

Question

Actualmente estoy estudiando Fitch Formato pruebas de lógica de primer orden. Mi profesor sigue de cerca idioma, Prueba y Lógica por Jon Barwise.

Estoy tratando de hacer algunas pruebas, pero estoy teniendo algunos problemas para entender cómo hacer estas pruebas. Como ya he leído lo Lenguaje prueba y la lógica tiene que ofrecer, me gustaría saber si hay otros libros o recursos en torno a que el uso del formato de Fitch por sus pruebas formales.

Además, teniendo ejercicios resueltos sería de gran (!) Ayuda.

Gracias

Answer 1

Estoy bastante seguro de que Fitch formato exacto de la LPL es exclusivo de la LPL. La prueba de concepto Fitch-estilo general proviene de sí mismo Fitch aunque probablemente no es mucho de una ayuda para usted.

A continuación se respuestas a seleccionada ejercicios , aunque creo que lo mejor es hacer preguntas a su instructor de trabajo específicos o con un grupo de compañeros de clase.

Answer 2

corrector de pruebas Klement que va con el forallx libro de texto sobre lógica están disponibles en línea. En cuanto a la solicitud:

  

Me gustaría saber si hay otros libros o recursos en torno a que el uso del formato de Fitch por sus pruebas formales.

Con estos dos recursos debería ser capaz de aprender la verdad lógica de orden funcional y en primer lugar utilizando un sistema de estilo Fitch de deducción natural. También constituirían un complemento a lo que uno de texto está usando actualmente.

---

referencia

Kevin Klement JavaScript / PHP-estilo Fitch editor de prueba de la deducción natural y corrector http://proofs.openlogicproject.org/

P. D. Magnus, Tim Botón con adiciones por J. Robert Loftis remezclado y revisado por Aaron Thomas-Bolduc, Richard Zach, forallx Calgary Remix: Una introducción a la lógica formal, invierno de 2018. http://forallx.openlogicproject.org/