Vocabulary
述語論理
じゅつごろんり
predicate logic; predicate calculus
noun