generated at
命題様相論理
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 命題様相論理)