フィッチフォーマット証明 - 周りのすべてのリソース?
-
25-09-2019 - |
質問
私は現在、フィッチ・フォーマット一階述語論理の証明を勉強しています。私の講師は密接言語、証明およびロジックジョン・バーウィズによります。
私はいくつかの証明を行うにしようとしていますが、私はこれらの証明を行う方法を理解するために取得し、いくつかの問題を抱えています。私はすでに何語の証明を読んでいるとロジックを提供しているように、私は、その使用の周りの他の書籍やリソースが彼らの正式な証明のためのフィッチ・フォーマットが存在するかどうかを知りたいのです。
プラス、偉大な(!)助けになるでしょう解く練習を持っています。
おかげ
解決
私はLPLの正確フィッチフォーマットはLPLに一意であることをかなり確信しています。それはおそらくあまりのではないですが、一般的なフィッチスタイル証拠のコンセプトは、フィッチ自身から来ていますあなたのための助けます。
ここにあるは、選択に答えます私はあなたの最善の策は、クラスメートのグループであなたのインストラクターの特定の質問や仕事を依頼することだと思いますけれども演習は、を。
他のヒント
ロジックにのforallx の教科書に行くクレメントの証明チェッカは、オンラインで入手できます。リクエストに関してます:
私は、その使用の周りの他の書籍やリソース正式な証明のためのフィッチ・フォーマットがあるかどうかを知りたいのです。
はこれら2つのリソースでは1は、自然演繹のフィッチスタイルのシステムを使用して、真実に機能し、一階述語論理を学ぶことができるはずです。彼らはまた、現在使用しているものは何でもテキスト1にサプリメントを提供することになる。
<時間>リファレンス
ケビン・クレメントのJavaScript / PHPフィッチスタイルの自然演繹の証明エディタやチェッカー http://proofs.openlogicproject.org/ の
P。 D.マグナス、J.ロバートLoftisによって追加とティム・ボタンがリミックスとアーロン・トーマス・Bolduc、リチャード・ザックにより改訂された、カルガリーリミックスforallx:形式論理に入門し、冬2018 <のhref = "のhttp://forallx.openlogicproject .ORG /」のrel = "nofollowをnoreferrer"> http://forallx.openlogicproject.org/ の