じゅつごろんり

  1. noun (common) (futsuumeishi)

    predicate logic, predicate calculus