FC2ブログ
--.--
--
上記の広告は1ヶ月以上更新のないブログに表示されています。
新しい記事を書く事で広告が消せます。

08.05
Mon
こんばんはー

LKのお勉強してます

だいたい証明の形式体系って自然演繹のしかもfitch styleなのしか書いたことないので

(多分マイナーなのかな自分が読んだ本(和書)では論理学をつくると角田譲の数理論理学入門だったはず)

まずいので、何がまずいってだいたいの論理学の本がLKでカット除去定理とかについて書いてあったりする

感じなんだけどLKさっぱりなので困るわけです。

という事でLKの推論規則を理解及び覚えようとしたんですけど

なかなか難しい.cutについてはさっぱりです。

ちゃんと理解できたらメモを残そうかなと思います


で、話は変わるんですけど

TeXを使い始めたので、練習のためにそれで証明図を書いてみました

LKの推論規則と、自然演繹のproofです

証明図を書くためのTeXの拡張(?)

はこれらを使うのがいいっぽいです

bussproofs.sty is a LaTeX style file for constructing proof trees

LaTeX macros for Fitch style natural deduction


以下の図を書くのに書いたソース

LK-rule.txt

proof.txt


LKの推論規則一覧

Screenshot_from_2013-08-05 01:02:06

Screenshot_from_2013-08-05 01:02:29

texのFitch style な自然演繹のれんしゅう

Screenshot_from_2013-08-05 01:03:45


やっぱ綺麗なんだなぁ(前のやつはペイントで書いてたので...恥ずかし!!)


スポンサーサイト

comment 0 trackback 0
トラックバックURL
http://telracsmoratori.blog.fc2.com/tb.php/176-dd84ebcd
トラックバック
コメント
管理者にだけ表示を許可する
 
上記広告は1ヶ月以上更新のないブログに表示されています。新しい記事を書くことで広告を消せます。