Of course, it is necessary and a footstone for truth-seeking of the extensional logic.
当然这对于外延逻辑的求真是基始的和必要的。
·2,447,543篇论文数据，部分数据来源于NoteExpress
The familiar semantics for first-order logic is extensional in that it is involved in individual objects rather than in any property entities.
熟知的一阶逻辑语义因为只论及个体对象而不涉及属性实体而被认为是外延的。
youdao
应用推荐
模块上移
模块下移
不移动