様相論理
様相論理(modal logic)
様相(modal)
必然性演算子$ \Box
$ \Box A : Aは必然である
可能性演算子$ \Diamond
$ \Diamond A : Aは可能である
様相論理は「～べきではない」「～してもよい」のような義務の領域にも適用できる
様相記号$ \Box, \Diamond
$ \Box, \Diamond の公理
(i)$ \Box p \leftrightarrow \lnot \Diamond \lnot q
(ii)$ \Diamond p \leftrightarrow \lnot \Box \lnot q
確認用
Q. 様相論理
参考
関連
メモ
https://www.youtube.com/live/u8ogjOap2g4?si=oEDYchl6jX_lAAXR