一阶逻辑公式相对真度的计算形式 |
| |
引用本文: | 秦晓燕,徐扬.一阶逻辑公式相对真度的计算形式[J].计算机工程与应用,2015(16). |
| |
作者姓名: | 秦晓燕 徐扬 |
| |
作者单位: | 1. 山西师范大学 数学与计算机科学学院,山西 临汾 041004; 西南交通大学 智能控制开发中心,成都 610031 2. 西南交通大学 智能控制开发中心,成都,610031 |
| |
基金项目: | 国家自然科学基金(No.61175055);四川省科技支撑计划(No.2011FZ0051);工业和信息化部无线电管理局(No.[2011]146);中国通信学会(No.[2011]051)。 |
| |
摘 要: | 对二值谓词逻辑中一阶公式关于有限解释的相对真度定义进行了简化,给出其计算形式。指出一阶非闭逻辑公式的相对真度只与其中自由出现的变元有关,而非只与其中的自由变元有关;证明可以增加公式中出现的变元个数,而不会改变公式的相对真度,从而可以依据相对真度的计算形式横向研究公式间的相对真度问题。
|
关 键 词: | 相对真度 有限解释 自由出现变元 计量谓词逻辑 |
|
|