The familiar semantics for first-order logic is extensional in that it is involved in individual objects rather than in any property entities.
熟知的一阶逻辑语义因为只论及个体对象而不涉及属性实体而被认为是外延的。
The familiar semantics for first-order logic is extensional in that it is involved in individual objects rather than in any property entities.
熟知的一阶逻辑语义因为只论及个体对象而不涉及属性实体而被认为是外延的。
应用推荐