论文部分内容阅读
本文以L*系统为背景,针对由单个原子生成的公式,解决了王国俊教授在文[2]中提出的函数决定公式的问题:即满足什么条件的函数可由逻辑公式导出,或逻辑公式的真值函数的特征如何.进而按照逻辑等价的关系将由单原子生成的公式集进行细致的分类.
L^＊系统中由单个原子生成的公式的真值函数的特征
【摘 要】
：
本文以L*系统为背景,针对由单个原子生成的公式,解决了王国俊教授在文[2]中提出的函数决定公式的问题:即满足什么条件的函数可由逻辑公式导出,或逻辑公式的真值函数的特征如
【机 构】
：
陕西师范大学数学与信息科学学院
【出 处】
：
工程数学学报
【发表日期】
：
2005年3期
【基金项目】
：
国家自然科学基金
其他文献
目的探讨动机性访谈在骨科糖尿病患者的应用。方法采用随机数字法将86例患者随机分为观察组和对照组，观察组患者42例，对照组患者44例。对照组患者接受常规护理，而观察组患者接受