论文部分内容阅读
从数理逻辑中的命题公式等值判定、命题公式类型判别、命题公式的赋值、谓词公式类型判别和推理正确性检验等几方面探讨了主范式的重要作用。
主范式在数理逻辑中的重要作用
【摘 要】
：
从数理逻辑中的命题公式等值判定、命题公式类型判别、命题公式的赋值、谓词公式类型判别和推理正确性检验等几方面探讨了主范式的重要作用。
【机 构】
：
合肥学院数理系
【出 处】
：
滁州学院学报
【发表日期】
：
2006年04期
其他文献
探究式教学是一种在教师的启发诱导下，通过学生的亲自参与，经过探究活动，由学生主动去发现概念、规律，从而将自己所学知识应用于解决实际问题的一种教学形式。本文研讨了探究式教
在今年16套高考英语试卷中考查非谓语动词的就有32道题,远远多于考查其它任何一个语法点的题数,非谓语动词无疑是我们高考复习中的重点.而其中18道是考查非谓语动词作状语,可
生命科学史是一门反映生物科学进程的人文科学。在生物教学中,教师要明确生命科学史的教学意义,结合教材有取舍地选用科学史,积极探究开展生命科学史教学的合理方式,避免教学