logical quantifier
「 logical quantifier」の意味 意味
- 名 論理量化子
「 logical quantifier」の例文 例文
In predicate logic, a logical quantifier binds variables and determines their scope.
述語論理では、論理量化子は変数を束縛し、その作用範囲を決定する。
「 logical quantifier」のコアイメージ コアイメージ
論理量化子は述語論理で変数を束縛する演算的役割を持ち、全称や存在の指定を行う記号
「 logical quantifier」の英英 英英
A logical operator that binds variables in formal systems to indicate whether predicates hold universally or for some elements within a domain.
「 logical quantifier」の語源 語源
logical quantifierは、logicalとquantifierの複合語で、quantifierは中世ラテン語の量に関する語に由来し数学・論理学で変数の量的扱いを示す術語として成立した。
「 logical quantifier」のコラム コラム
- プログラミングや自動定理証明の文脈では論理量化子はループや集合操作に対応することが多く実装ではスコープを明確に扱う必要がある。
おすすめの単語帳
1 / 1
