论文部分内容阅读
从数理逻辑中的命题公式等值判定、命题公式类型判别、命题公式的赋值、谓词公式类型判别和推理正确性检验等几方面探讨了主范式的重要作用。
主范式在数理逻辑中的重要作用
【摘 要】
：
从数理逻辑中的命题公式等值判定、命题公式类型判别、命题公式的赋值、谓词公式类型判别和推理正确性检验等几方面探讨了主范式的重要作用。
【机 构】
：
合肥学院数理系
【出 处】
：
滁州学院学报
【发表日期】
：
2006年04期
其他文献
显微镜是中学理科实验室里比较贵重而精密的仪器，如果使用维护不当，极易引起显微镜的观察能力变差，甚至损坏，不能使用而报废。许多同学认为显微镜是由铁、塑料、玻璃制成的，不需要
在环保界,他成就了多项第一：中国第一位常驻联合国环境规划署首席代表,第一任国家环保局局长,中国第一个＂联合国环境大奖＂和国际蓝色星球奖获得者;他一直构筑着中国环保的法律体
“我是交通人，我是共产党员。”一句简洁而有力的话，在2016年9月29日，交通运输部“讲好交通故事，展示党的风采”“两学一做”汇报会上，让现场观众印象深刻，感同身受。事实上，这种筑
探究式教学是一种在教师的启发诱导下，通过学生的亲自参与，经过探究活动，由学生主动去发现概念、规律，从而将自己所学知识应用于解决实际问题的一种教学形式。本文研讨了探究式教
在今年16套高考英语试卷中考查非谓语动词的就有32道题,远远多于考查其它任何一个语法点的题数,非谓语动词无疑是我们高考复习中的重点.而其中18道是考查非谓语动词作状语,可
我遇到过一些高三同学，他们说不出自己喜欢什么，因此也为不知道报考什么专业而苦恼。后来我又发现一些上了大学的同学，他们虽然是根据自己的喜好选择了现在的专业，可是接触到专业
A short survey on researching and developing status of intelligent technologies in modem welding manufacturing is given. According to the developing trend of ad
生命科学史是一门反映生物科学进程的人文科学。在生物教学中,教师要明确生命科学史的教学意义,结合教材有取舍地选用科学史,积极探究开展生命科学史教学的合理方式,避免教学