基本解釋[計(jì)算機(jī)科學(xué)技術(shù)]量化邏輯英漢例句雙語(yǔ)例句A majority of run parameters of Generator system have no strict relation of logic and quantification. Fault phenomenon and reason, mechanism have more uncertainty.發(fā)電機(jī)系統(tǒng)的大部分運(yùn)行參數(shù)間無(wú)嚴(yán)格的邏輯和定量關(guān)系，其故障現(xiàn)象與原因及機(jī)理之間具有很大的不確定性。PROLOG, a kind of first-order logic-based language, doesn't permit quantification over predicates in grammer sense , hence the expressive range suitable for this language is decreased.基于一階謂詞邏輯的PROLOG語(yǔ)言不允許量詞作用于謂詞，這限制了它的表達(dá)和處理范圍。quantification logic更多例句詞組短語(yǔ)短語(yǔ)standard quantification logic 標(biāo)準(zhǔn)量化邏輯quantification logic更多詞組專業(yè)釋義計(jì)算機(jī)科學(xué)技術(shù)量化邏輯