エントリーの編集
![loading...](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/common/loading@2x.gif)
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント1件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
![アプリのスクリーンショット](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/entry/app-screenshot.png)
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
predicate
命題論理学の分かりやすさと述語論理学の分かりにくさ 趣味で論理学を勉強しているものにとって命題論理... 命題論理学の分かりやすさと述語論理学の分かりにくさ 趣味で論理学を勉強しているものにとって命題論理学はありがたい。なにしろ分かりやすいのである。真理表なら少し習っただけで中学生でも書けるようになるだろう。LPの演繹定理の証明も簡単な数学的帰納法の適用であると理解できる。LPの定理とトートロジーが同値である事を証明した完全性定理もちょっと苦労するが理解できる。完全性定理が理解できると、論理は命題の具体的な内容に依存しておらず、純粋な推論の構造であるということが実感できて、ソシュールの言う記号の恣意性や、ヒルベルトの「点が椅子で、線が机でも構わない」という言葉の意味の面白さが分かってちょっと感動したりする。 ところが述語論理学の章に入った途端に途方にくれてしまう。まず真理表が書けない。LPの定理を直感的に理解するのに真理表のイメージをかなり利用してきたのにその肝腎の真理表が見当たらないのである
2009/08/06 リンク