様相論理とは？
ようそうろんり
「必ず〜だ（必然性）」「〜かもしれない（可能性）」を扱う、□ と ◇ を使った論理体系だよ。
様相論理とは「必ずそうだ（必然）」や「そうかもしれない（可能）」という考え方を論理で扱う体系だよ。□（必然）と ◇（可能）という特別な記号を使うよ。「明日は必ず太陽が昇る」のような命題を分析するのに使われるよ。
つかいかた・れいぶん
「かならず雨が降る（□）」や「もしかしたら雪かもしれない（◇）」を扱うのが様相論理だよ。
このことばを シェア
さいごの こうしん: