论文研究-一阶逻辑公式相对真度的计算形式.pdf

【文件属性】：

文件名称：论文研究-一阶逻辑公式相对真度的计算形式.pdf

文件大小：557KB

文件格式：PDF

更新时间：2022-10-01 21:37:20

论文研究

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