ゆるく勉強しているよこの広告は、90日以上更新していないブログに表示しています。意味論は真理値分析をやって、あとシェファーの縦棒をやって、トートロジーの説明をして、推論をやった。「⊃」、意味論の推論に「→」を使っているのが特徴的。構文論はLPと呼ばれる、公理4つと導出規則MPを使った公理系を提示した(完全性の証明は後回し)。野矢さんの解説は非常にわかりやすく、また、哲学的問いかけも含まれており、何度よんでも新しい発見がある。古典論理を学んではてなブログをはじめよう!ta_so_ka_reさんは、はてなブログを使っています。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。