广义谓词演算
【词语拼音】guǎng yì wèi cí yǎn suàn
【词语繁体】廣義謂詞演算
【词语结构】式词语
【词语字数】六字词语
【网络解释】
广义谓词演算( extended predicate calculus)广义谓词逻辑的形式系统。详“高阶逻辑”。
谓词演算宋词演义谓词演词演算称谓词演义义演广义云计算词义所谓演员谓语动词演说词演算器谓词变元谓词逻辑广义下义词异义词近义词词义学就义词反义词同义词多义词贬义词褒义词非谓语动词演算法则逻辑演算命题演算即时演算洪水演算广告词关系演算义演丹星全民演义隋唐演义群星演义封神演义大道演义厨神演义将帅演义国史演义地藏演义苏氏演义演义小说百花演义山国演义山城演义粗菜演义新宋演义西汉演义浪漫演义地仙演义飞将演义演义视觉顺治演义楚汉演义元史演义三国演义三锅演义川国演义香港演义传奇演义传神演义无限演义衫国演义水浒演义西游演义南史演义明朝演义演义三国江山演义北宋演义遁甲演义传承演义演义传奇桂系演义乱世演义正德演义宋史演义清史演义龙蛇演义随唐演义蜀汉演义华夏演义群侠演义广义力广义街张广义广义解广义化语词定义偏义复词义正词严