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

07.31
Thu
直観論理と古典論理における証明体系であるNJとNKの推論規則を列挙してみる

Screenshot_from_2014-07-31 19:34:49
Screenshot_from_2014-07-31 19:35:06

これが直観論理における推論規則なんだけれど、ここに以下の2つの推論規則、
二重否定除去(DN)またはRAA(背理法)を加えるか公理として排中律を認めてやると古典論理の体系つまりNKにもどる。
なぜかというと、DN、RAA、排中律の何れかを使えば他2つはそれで表すことができ、またその何れかをもつことが、直観論理に比べた古典論理の特徴らしいので。
Screenshot_from_2014-07-31 19:43:54


スポンサーサイト

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