谓词演算系统
- 网络predicate calculus; systems of functional calculus; FCE

谓词演算系统
predicate calculus
...德国数学家、哲学家Gottlob Frege 推出谓词演算系统(predicate calculus)才使这一局面得到改变。
systems of functional calculus
最严峻的挑战在于,上面运用了谓词演算系统(systems of functional calculus)、量词理论(quantification theory)所写成的 …
FCE
3.3.1 带等词的一阶谓词演算系统(FCE)29-34