guǎng yì wèi cí yǎn suàn · ㄍㄨㄤˇ ㄧˋ ㄨㄟˋ ㄘˊ ㄧㄢˇ ㄙㄨㄢˋ · 更新 2026-07-01 03:10:18
广义谓词演算( extended predicate calculus)广义谓词逻辑的形式系统。详“高阶逻辑”。