logical quantifier

「logical quantifier」のレベル別の例文

• 中学

  A logical quantifier can describe a group of objects.

  論理量化子は、物の集まりを表せます。

• 高校・英検2級

  A logical quantifier indicates whether a condition applies to every object or at least one object.

  論理量化子は、条件がすべての対象に当てはまるのか、少なくとも一つの対象に当てはまるのかを示します。

• TOEIC・ビジネス

  The research team revised the notation for logical quantifiers in its technical report.

  研究チームは技術報告書の論理量化子の表記を改訂しました。

• 日常会話

  What does this logical quantifier mean in this formula?

  この論理式では、この論理量化子はどういう意味？

「logical quantifier」のよく使う型

• a logical quantifier over AAを対象とする論理量化子

  The formula uses a logical quantifier over variables.

  その式は変数を対象とする論理量化子を使っています。

• the scope of a logical quantifier論理量化子の作用域

  Check the scope of the logical quantifier carefully.

  論理量化子の作用域を注意深く確認してください。

• introduce a logical quantifier into AAに論理量化子を導入する

  The definition introduces a logical quantifier into the formula.

  その定義は式に論理量化子を導入します。

「logical quantifier」とよく一緒に使う語

• universal quantifier全称量化子
• existential quantifier存在量化子
• nested quantifier入れ子の量化子
• quantifier scope量化子の作用域
• quantifier notation量化子の表記
• quantifier elimination量化子消去

「logical quantifier」のよくある間違い

• ✕ logical quantificator

  ○ logical quantifier

  quantifierのつづりを使い、quantificatorとはしません。

「 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」のよくある質問