述語論理 (じゅつごろんり) — predicate logic | Kumi Dictionary