有限解释相关论文
本文在二值谓词逻辑系统中引入一类特殊解释，即论域有限的解释，给出了一阶谓词公式A的相对于某一个特定解释下的相对真度定义，并证明......
对二值谓词逻辑中一阶公式关于有限解释的相对真度定义进行了简化,给出其计算形式。指出一阶非闭逻辑公式的相对真度只与其中自由......
