述語 じゅつご論理 ろんり
jutsugoronri

Noun

1. predicate logic; predicate calculus

Related to 命題論理