计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2015年
16期
6-10
,共5页
相对真度%有限解释%自由出现变元%计量谓词逻辑
相對真度%有限解釋%自由齣現變元%計量謂詞邏輯
상대진도%유한해석%자유출현변원%계량위사라집
relative satisfiablity degree%finite interpretation%free-occurred variables%quantitative predicate logic
对二值谓词逻辑中一阶公式关于有限解释的相对真度定义进行了简化,给出其计算形式。指出一阶非闭逻辑公式的相对真度只与其中自由出现的变元有关,而非只与其中的自由变元有关;证明可以增加公式中出现的变元个数,而不会改变公式的相对真度,从而可以依据相对真度的计算形式横向研究公式间的相对真度问题。
對二值謂詞邏輯中一階公式關于有限解釋的相對真度定義進行瞭簡化,給齣其計算形式。指齣一階非閉邏輯公式的相對真度隻與其中自由齣現的變元有關,而非隻與其中的自由變元有關;證明可以增加公式中齣現的變元箇數,而不會改變公式的相對真度,從而可以依據相對真度的計算形式橫嚮研究公式間的相對真度問題。
대이치위사라집중일계공식관우유한해석적상대진도정의진행료간화,급출기계산형식。지출일계비폐라집공식적상대진도지여기중자유출현적변원유관,이비지여기중적자유변원유관;증명가이증가공식중출현적변원개수,이불회개변공식적상대진도,종이가이의거상대진도적계산형식횡향연구공식간적상대진도문제。
The simplified computational definition of the relative satisfiability degrees of first-order formulae in a finite interpretation is proposed. It is pointed out that the relative satisfiability degree of a nonclosed first-order formula is just related to the free-occurred variables in the formula, not the free variables occurred in the formula;and it is proved that the relative satisfiability degree of a first-order formula can be unchanged although the amount of the variables occurring in the formula is increased, so that the matter of the relative satisfiablity degrees among formulae can be transversely studied according to the computational definition of the relative satisfiability degrees of first-order formulae.