模态逻辑 模态逻辑或者叫内涵逻辑不很常见是對諸如可能或许可以一定必然等情態詞彙表示的狀態進行的判斷例如天空是蓝色的和      displaystyle  是真的但是天空的颜色必然是蓝色是假的而      displaystyle  是必然的是真的模态逻辑會用到判决算子