じゅつごろんり

述語論理

表記・読み：じゅつごろんり

1. 1

   predicate logic; predicate calculus

   名詞logic