Also predicate calculus, which studies the internal structure of simple.

• 也叫谓语演算,它研究简单马那瓜体的内部结构。