逻辑演算方法在点集问题中的应用

摘要：

利用一阶量词逻辑演算方法处理度量空间中关于点集的问题.给出了聚点、内点、界点、外点等概念的等价一阶量词逻辑公式,以及等价转化和推演的常用方法与路径.用一阶量词逻辑演算方法证明了关于导集运算的5个重要公式.通过研究,使得度量空间中点集问题的处理变得清晰而简便,从而也减少了学习相关知识的难度.

关键词：一阶量词逻辑、等值演算、度量空间、点集拓扑问题

所属期刊栏目：42

分类号：O141(数理逻辑、数学基础)

资助基金：普洱学院数学与应用数学教学团队项目2020JXTD018

在线出版日期：2022-08-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：21-24