一阶逻辑中几类特殊公式的真度计算方法

摘要

对一阶逻辑Łukasiewicz系统中的几类特殊公式的公理化真度展开研究。根据真度定义及真度的性质,给出了将复杂公式的真度转换成几个简单公式的真度进行计算的方法,从而将真度计算的方法进行了推广。