模態邏輯邏輯學 / 維基百科,自由的 encyclopedia 模態邏輯,或者叫內涵邏輯(不很常見),是對諸如「可能」「或許」「可以」「一定」「必然」等情態詞彙表示的狀態進行的判斷。例如天空是藍色的」和「 2 + 2 = 4 {\displaystyle 2+2=4} 」是真的,但是「天空的顏色必然是藍色」是假的,而「 2 + 2 = 4 {\displaystyle 2+2=4} 是必然的」是真的。模態邏輯會用到判決算子。
模態邏輯,或者叫內涵邏輯(不很常見),是對諸如「可能」「或許」「可以」「一定」「必然」等情態詞彙表示的狀態進行的判斷。例如天空是藍色的」和「 2 + 2 = 4 {\displaystyle 2+2=4} 」是真的,但是「天空的顏色必然是藍色」是假的,而「 2 + 2 = 4 {\displaystyle 2+2=4} 是必然的」是真的。模態邏輯會用到判決算子。