私は現在、Fitch Format の一次論理証明を勉強しています。私の講師は、Jon Barwiseの Language, Proof and Logicを忠実にフォローしています。
私はいくつかの証明をしようとしていますが、これらの証明を行う方法を理解するのに苦労しています。Language Proof and Logic が提供するものを既に読んだので、正式な証明に Fitch 形式を使用している書籍やリソースが他にあるかどうか知りたいです。
さらに、演習問題を解いておけば、(!) 大いに役立ちます。
ありがとう