关于推出符号“=>”的一点教学尝试 |
| |
作者姓名: | 黄家礼 |
| |
作者单位: | 监利张场中学 |
| |
摘 要: | 在命题证明中,使用逻辑推演符号“=>”,可缩简证明过程,充分显示出证明过程的逻辑结构,使证明条理清晰,层次分明,比传统的书写格式更具有科学性,但是,由于课本没有讲这方面的预备知识,引入突然。学生难以掌握。所以有些教师放弃不用,授课作业,一律采用传统格式,这就给师生的教与学和学生今后的学习带来许多不便。下面谈谈自己在这方面的教学尝试,因为自己也有过放弃不用,采用传统格式的念头,但从我所带的A班的同学在作业中所出现的问题分析,错误的原因,主要是对符号
|
本文献已被 CNKI 等数据库收录! |
|