一阶逻辑公式相对真度的计算形式

• 作者: 徐扬 秦晓燕
• 来源期刊: 计算机工程与应用
• 学科: 数学
• 关键词: 相对真度 有限解释 自由出现变元 计量谓词逻辑
• 年，卷（期）: 2015,（16）
• 所属期刊栏目: 博士论坛
• 页码范围: 6-10
• 页数: 5页
• 分类号: O141
• 字数: 6121字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1504-0102

摘要

对二值谓词逻辑中一阶公式关于有限解释的相对真度定义进行了简化，给出其计算形式。指出一阶非闭逻辑公式的相对真度只与其中自由出现的变元有关，而非只与其中的自由变元有关；证明可以增加公式中出现的变元个数，而不会改变公式的相对真度，从而可以依据相对真度的计算形式横向研究公式间的相对真度问题。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐扬	西南交通大学智能控制开发中心	186	1462	15.0	32.0
2	秦晓燕	山西师范大学数学与计算机科学学院	5	10	2.0	2.0