Fitch Format Proofs - des ressources autour?

J'étudie actuellement les épreuves logiques de premier ordre au format Fitch. Mon professeur suit de près Language, Proof and Logic par Jon Barwise.Fitch Format Proofs - des ressources autour?

J'essaie de faire quelques preuves mais j'ai du mal à comprendre comment faire ces preuves. Comme j'ai déjà lu ce que Language Proof and Logic a à offrir, j'aimerais savoir s'il existe d'autres livres ou ressources qui utilisent le format Fitch pour leurs épreuves formelles. De plus, avoir des exercices résolus serait d'une grande aide (!).

Merci

Source

2010-06-09 devoured elysium

Je suis assez confiant que le format exact Fitch LPL est unique à LPL. Le concept général vient de Fitch lui-même, mais ce n'est probablement pas beaucoup d'aide pour vous.

Voici answers to selected exercises, mais je pense que votre meilleur pari est de poser des questions spécifiques à votre instructeur ou de travailler avec un groupe de camarades de classe.

Source

2010-06-09 05:08:14 user85509

C'est bon à savoir. Je pensais que c'était un format général pour faire des preuves logiques de premier ordre. Pas étonnant que j'avais du mal à trouver des références dans d'autres livres FOL. Merci –

Fitch Format Proofs - des ressources autour?

Répondre

Questions connexes