Fitch Format Proofs - algum recurso por aí?

Question

Atualmente, estou estudando o formato de Fitch Prova de primeira ordem. Meu professor segue de perto Idioma, prova e lógica por Jon Barwise.

Estou tentando fazer algumas provas, mas estou tendo alguns problemas para entender como fazer essas provas. Como já li o que a prova e a lógica tem a oferecer, gostaria de saber se existem outros livros ou recursos que usam o formato Fitch para suas provas formais.

Além disso, ter exercícios resolvidos seria de grande ajuda (!).

Obrigado

Answer 1

Estou bastante confiante de que o formato exato da Fitch da LPL é exclusivo do LPL. O general Prova ao estilo de Fitch O conceito vem do próprio Fitch, embora provavelmente não seja uma grande ajuda para você.

Aqui estão Respostas para exercícios selecionados, embora eu ache que sua melhor aposta é fazer perguntas específicas ao seu instrutor ou trabalhar com um grupo de colegas de classe.

Answer 2

O verificador de prova de Klement que acompanha o forallx Livro de texto sobre lógica está disponível online. Sobre o pedido:

Eu gostaria de saber se existem outros livros ou recursos que usam o formato Fitch para suas provas formais.

Com esses dois recursos, um deve ser capaz de aprender a lógica funcional e de primeira ordem usando um sistema de dedução natural no estilo Fitch. Eles também forneceriam um suplemento a qualquer texto que esteja usando atualmente.

---

Referência

JavaScript/Php Fitch de Kevin Klement Editor e verificador de dedução no estilo Fitch http://proofs.openlogicproject.org/

PD Magnus, Tim Button com acréscimos de J. Robert Loftis remixado e revisado por Aaron Thomas-Bolduc, Richard Zach, forallx calgary remix: uma introdução à lógica formal, inverno 2018. http://forallx.openlogicproject.org/