EnglishBattle

existential operatorのWordNet

  • 1名詞

    意味

    a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true

    その命題を真とするものが少なくとも1つ存在することを主張する命題の論理量化子

    同義語
    上位語