様相論理 is Fun

様相論理の学習ノートです

MENU

2017-05-29から1日間の記事一覧

義務論理(Deontic Logic)のいくつかのパラドックスの解消 その2

義務論理(Deontic Logic)のいくつかのパラドックスを解消します。 その中でも、結合子「∨」、「∧」にまつわるパラドックスを解消します。 正確に言えば、SDL(Standard Deontic Logic)で不合理であるように思われてしまうトートロジーが、トートロジーでなく…