Fitch Format Proofs - alle Ressourcen um?

Question

Ich studiere zur Zeit Fitch Format ersten logischen Beweise Reihenfolge. Mein Dozent folgt eng Language, Proof und Logic von Jon Barwise.

Ich versuche, einige Beweise zu tun, aber ich einige Probleme habe immer zu verstehen, wie diese Beweise zu tun. Wie ich bereits, was Proof Sprache gelesen habe und Logik zu bieten hat, würde ich gerne wissen, ob es um diese Verwendung das Fitch-Format für ihre formalen Beweise andere Bücher oder Ressourcen sind.

Plus, gelöst Übungen mit wäre eine große (!) Hilfe.

Danke

Answer 1

Ich bin ziemlich zuversichtlich, dass LPL exaktes Fitch Format ist einzigartig für LPL. Das allgemeine Fitch-Stil Beweis Konzept stammt von Fitch selbst obwohl es wahrscheinlich nicht viel von eine Hilfe für Sie.

Hier sind Antworten auf ausgewählte Übungen , obwohl ich die beste Wahl denken, ist Ihr Lehrer spezielle Fragen oder Arbeit mit einer Gruppe von Mitschülern fragen.

Answer 2

Klements Beweisverifizierer, die mit dem geht forallx Lehrbuch der Logik sind online verfügbar. In Bezug auf die Anfrage:

  

würde Ich mag wissen, ob es irgendwelche andere Bücher oder Ressourcen um diese Verwendung das Fitch-Format für ihre formalen Beweise.

Mit diesen beiden Ressourcen sollte man in der Lage sein, die Wahrheit zu erfahren, funktionale und erste Logik, um ein Fitch-Stil System des natürlichen Abzugs verwenden. Sie würden auch eine Ergänzung zu, was Text ist man zur Zeit verwendet wird.

---

Referenz

Kevin Klements JavaScript / PHP Fitch-Stil natürlichen Schließens Beweis Editor und Checker http://proofs.openlogicproject.org/

P. D. Magnus, Tim Button mit Zusätzen von J. Robert Loftis remixed und überarbeitet von Aaron Thomas-Bolduc, Richard Zach, forallx Calgary Remix: Eine Einführung in der formalen Logik, Winter 2018. http://forallx.openlogicproject.org/