广义谓词演算的读音:guǎng yì wèi cí yǎn suàn
广义谓词演算的拼音:guang、yi、wei、ci、yan、suan
广义谓词演算的简拼:GYWCYS
广义谓词演算的首字母:G
广义谓词演算的首字拼音:guang
分字拼音:义的拼音 广的拼音 演的拼音 算的拼音 词的拼音 谓的拼音
广义谓词演算( extended predicate calculus)广义谓词逻辑的形式系统。详“高阶逻辑”。