基本解釋[數(shù)學(xué)]內(nèi)涵邏輯[語(yǔ)言學(xué)]內(nèi)含邏輯英漢例句雙語(yǔ)例句The law of substitution of co-referential expressions, which originated from classical logic, is invalid in intensional contexts, hence "intensional puzzle".經(jīng)典邏輯中的同一性替換規(guī)則在內(nèi)涵語(yǔ)境中普遍失效，產(chǎn)生“內(nèi)涵困惑”。The pragmatic intensional logic constructed by Montague helps us to analyze and treat the relation between intension and'extension in such an indirect context.蒙塔古構(gòu)建的語(yǔ)用內(nèi)涵邏輯對(duì)我們分析處理這類間接語(yǔ)境中內(nèi)涵與外延間的關(guān)系有極大的啟示。intensional logic更多例句詞組短語(yǔ)短語(yǔ)intensional logic and categorical grammar 第八章fine -grained intensional logic 精細(xì)內(nèi)涵邏輯intensional logic更多詞組專業(yè)釋義數(shù)學(xué)內(nèi)涵邏輯語(yǔ)言學(xué)內(nèi)含邏輯