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