EnglishBattle

functional calculusのWordNet

  • 1名詞

    意味

    a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)

    個体、述語、および個体の限量(ならびに命題間の関係)を表現する記号論理学の体系

    同義語
    上位語
    構成要素