命題様相論理
propositional modal logic
命題
様相論理
恒真でない論理式
/mrsekut-book-4007305803/107
論理式D
$ \Box A\to\Diamond A
論理式T
$ \Box A\to A
論理式B
$ A\to\Box\Diamond A
論理式4
$ \Box A\to \Box\Box A
論理式5
$ \Diamond A\to \Box\Diamond A
/mrsekut-book-4007305803/099 (3.1 命題様相論理)