(logic) The set of all entities over which quantifiers—including for all and there exists—range.
for all
there exists
universe of discourse
式を評価する前に、論理学者は論域を自然数のみが含まれるように定義した。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★