intensional logic

基本解釋

• [數(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)典邏輯中的同一性替換槼則在內(nèi)涵語(yǔ)境中普遍失傚，産生“內(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.
  矇塔古搆建的語(yǔ)用內(nèi)涵邏輯對(duì)我們分析処理這類(lèi)間接語(yǔ)境中內(nèi)涵與外延間的關(guān)系有極大的啓示。

• intensional logic更多例句

詞組短語(yǔ)

短語(yǔ)

• intensional logic and categorical grammar 第八章
• fine -grained intensional logic 精細(xì)內(nèi)涵邏輯

• intensional logic更多詞組

專(zhuān)業(yè)釋義

數(shù)學(xué)

• 內(nèi)涵邏輯

語(yǔ)言學(xué)

• 內(nèi)含邏輯