Prove Format Fitch - tutte le risorse in giro?

Question

Attualmente sto studiando Fitch Format primo ordine prove logiche. Il mio docente segue da vicino lingua, prova e logica da Jon Barwise.

sto cercando di fare alcune prove, ma sto avendo qualche difficoltà a capire come fare queste prove. Come ho già letto ciò che prova Linguaggio e logica ha da offrire, mi piacerebbe sapere se ci sono altri libri o risorse intorno che utilizzano il formato di Fitch per le loro prove formali.

Inoltre, avendo esercizi risolti sarebbe di grande (!) Di aiuto.

Grazie

Answer 1

Sono abbastanza fiducioso che esatto formato Fitch di LPL è unico per LPL. Il Fitch stile concetto generale a prova proviene da Fitch se stesso anche se non è probabilmente molto più di un aiuto per voi.

Ecco risposte a scelta esercizi , anche se credo che la soluzione migliore è quella di fare le vostre domande o di lavoro istruttore specifici con un gruppo di compagni di classe.

Answer 2

checker dimostrazione di Klement che va con il forallx libro di testo sulla logica sono disponibili online. Per quanto riguarda la richiesta:

  

Mi piacerebbe sapere se ci sono altri libri o risorse intorno che utilizzano il formato di Fitch per le loro prove formali.

Con queste due risorse si dovrebbe essere in grado di imparare la verità logica ordine funzionale e del primo utilizzo di un sistema in stile Fitch di deduzione naturale. Avrebbero anche fornire un supplemento a tutto ciò che un testo è attualmente in uso.

---

Riferimento

di Kevin Klement JavaScript / PHP-style editor di Fitch prova deduzione naturale e il correttore http://proofs.openlogicproject.org/

P. D. Magnus, Pulsante Tim con aggiunte di J. Robert Loftis remixato e rivisto da Aaron Thomas-Bolduc, Richard Zach, forallx Calgary Remix: An Introduction to formale logica, Inverno 2018. http://forallx.openlogicproject.org/