词语含义查询 · 在线释义
查询结果
guǎng yì wèi cí yǎn suàn · ㄍㄨㄤˇ ㄧˋ ㄨㄟˋ ㄘˊ ㄧㄢˇ ㄙㄨㄢˋ
数据更新：2026-07-16 04:16:53
广义谓词演算( extended predicate calculus)广义谓词逻辑的形式系统。详“高阶逻辑”。