返回首页 返回单词点读 听首歌 友情故事 三维设计软件 法律类书籍 电子商务源码 微信开发源码 页游源码 三国历史
adj.外延的;延伸的;客观事实的
The familiar semantics for first-order logic is extensional in that it is involved in individual objects rather than in any property entities. 摘要熟知的一阶逻辑语义因为只论及个体对象而不涉及属性实体而被认为是外延的。
小库网-温馨提示