浅议数学命题的否定

来源 :甘肃联合大学学报:自然科学版 | 被引量 : 0次 | 上传用户:c546852942
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
命题的否定是命题的基本运算之一,由于命题形式多样,因而构造命题的否定的方法也多种.本文根据命题结构上的特点,对命题进行了划分,并以此划分着重讨论了命题的否定,以期对命题的否定有一个较系统的方法.鉴于一个命题的否定和这个命题的否命题往往容易混淆,本文从不同方面对此进行了说明,以使对命题的否定和否命题有一个较明确地认识.
其他文献
实施素质教育,要以教学为中心,即通过改革课堂教学来实施.作为数学教学工作者,应该努力改革教学方法,发挥学生主体的主动性、积极性和创造性,把传授知识的过程变为激发学生各
数学思维就是人脑对数学问题的本质属性概括的反映过程.数学思维除包含智力因素之外,还要受到非智力因素的影响.数学思维以逻辑思维和形象思维为基础,逐步向创造性的扩散思维
介绍了Philips公司开发的Green ChipTM绿色芯片TEA1504的内部结构及工作原理,该控制芯片集成了开关电源的PWM控制、高低频模式转换、栅极驱动和保护等功能,同时具有瞬态响应
VLCM320240是一款具有可视化编程图形界面、采用串行控制、内含GB2312简体中文字库及64kB自造图库的液晶图形显示模块.该模块采用台湾EDT公司的蓝膜负显EW32F10BCW,具有320&#
介绍了常用CAI课制的制作软件及CAI课件的设计与制作方法,最后讨论了在物理类CAI课件制作过程中应注意的一些问题。
小学语文“Z.T教材和省编义务教育教材各有优点和特点,但它们在单独使用的教学实践中都显示某种不足。本研究以义务教材为基础,大量吸收并采用“Z.T”教材的长处,取得了很好的教学
介绍了一种用三态编解码芯片MC145026/27实现的基于并口的多机无线通信系统的组成原理和实现方法,给出了多台微型机之间的无线通信问题的解决方案等,阐述了系统的总体组成及
GAL6002是Lattice公司研制的电可擦除且可重复编程的高性能PLD器件,文中介绍了以PLD器件GAL6002实现4×4自动扫描去抖的编码键盘电路,给出了该电路的原理及其与MCS-51单
设G是n阶连通图γc(G)dc(G)i(G)和ir(G)分别表示图G的连通控制数,边通控制划分数,独立控制数和无赘数,本文证明了此结构。