[大]義務の様相論理まとめ[/大]

否定：　¬A
□A：Aであることが義務だ
◇A：Aであることは許される

□と◇はどちらか一方だけがあれば事足りる。

義務：　□A, ¬◇¬A
許可：　◇A, ¬□¬A
禁止：　¬◇A, □¬A
否定の許可: 　◇¬A,　Aでないことは許される
義務の否定: 　¬□A = ◇¬A = 否定の許可