计算机工程与应用2019，Vol.55Issue(6)：39-41,139,4.DOI:10.3778/j.issn.1002-8331.1804-0214
推广规则后一阶逻辑公式的准真度
Quasi-Truth Degree of First-Order Formula After Using Generalization Rule
摘要
Abstract
Theory of quantitative logic is an important branch of the research on the grading of logical concepts, while, among the related research on the quantitative predicate logic, the generalization rule hasn’t been studied. Theory of the quasi-truth degrees of first-order logical formulae are an important research result about quantitative predicate logic. In this paper, it is discussed about the quasi-truth degree change of a first-order formula through the generalization rule, finally it is proved that the first-order formula after using the generalization rule is still in the same class, which is classified by the quasi-truth degrees, with the original first-order formula.关键词
计量逻辑/一阶逻辑/准真度/推广规则Key words
quantitative logic/first-order logic/quasi-truth degree/generalization rule分类
数理科学引用本文复制引用
秦晓燕..推广规则后一阶逻辑公式的准真度[J].计算机工程与应用,2019,55(6):39-41,139,4.基金项目
江苏省高校自然科学基金项目(No.17KJB520004). （No.17KJB520004）
