intensional logic
基本解释
- [數學]內涵邏輯
- [語言學]內含邏輯
英汉例句
- The law of substitution of co-referential expressions, which originated from classical logic, is invalid in intensional contexts, hence "intensional puzzle".
經典邏輯中的同一性替換槼則在內涵語境中普遍失傚,産生“內涵睏惑”。 - The pragmatic intensional logic constructed by Montague helps us to analyze and treat the relation between intension and'extension in such an indirect context.
矇塔古搆建的語用內涵邏輯對我們分析処理這類間接語境中內涵與外延間的關系有極大的啓示。
雙語例句
词组短语
- intensional logic and categorical grammar 第八章
- fine -grained intensional logic 精細內涵邏輯
短語
专业释义
- 內涵邏輯
- 內含邏輯