In modal logic, propositional constants often represent fixed truth values across possible worlds.
様相論理において、命題定数はしばしば可能世界間で固定された真理値を表す。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★