![]() ![]() |
![]() |
|
![]() |
||
![]() |
すべて | 図書室 | 美術室 | 音楽室 | 保健室 | 職員室
命題論理の集合表現 ドメイン
命題論理の集合表現という用語はない。管理人の造語であるが、原子命題が有限個の命題論理の全体像を見やすくしたいと思ったのだ。特に、命題論理の枠内では表現し難い命題間の順序関係がわかりやすくなる。また、前回の記事で紹介したように簡単にプログラムでシミュレーションができるので、脳の負担がかなり軽減される。
有限個の原子命題からなる命題論理の命題の全体は、それらの論理結合によ
Log of ROYGB
読者になる
FAQ / お問い合わせ窓口