1

私は現在、Fitch Format の一次論理証明を勉強しています。私の講師は、Jon Barwiseの Language, Proof and Logicを忠実にフォローしています。

私はいくつかの証明をしようとしていますが、これらの証明を行う方法を理解するのに苦労しています。Language Proof and Logic が提供するものを既に読んだので、正式な証明に Fitch 形式を使用している書籍やリソースが他にあるかどうか知りたいです。

さらに、演習問題を解いておけば、(!) 大いに役立ちます。

ありがとう

4

2 に答える 2

2

LPL の正確な Fitch 形式は LPL に固有のものであると確信しています。一般的なフィッチ スタイルの証明の概念は、おそらくあまり役​​に立たないかもしれませんが、フィッチ自身から来ています。

ここでは、選択した演習への回答を示しますが、インストラクターに特定の質問をするか、クラスメートのグループと一緒に作業するのが最善の策だと思います。

于 2010-06-09T05:08:14.100 に答える