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

12.16
Sun
忘れないうちにメモ

Γ |- Σ

は前提Γから結論Σが導かれることを表す

|- Σ

とすると、公理からΣが導かれることを表す

また

φ1 , φ2 , ... , φn |- ψ

の時、

(φ1 ∧ φ2 ∧ ... ∧ φn) ⊃ ψ

は恒真になり、ψを論理的帰結という

またψが恒真であることを

|= ψ

で表す

ということでLKとか勉強中なのですが

その過程でわかったことをメモ

もう完全にただのメモです

またある程度わかったらちゃんと纏めようと思います
スポンサーサイト

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