切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
浅谈蕴涵推演法与双蕴涵推演法
浅谈蕴涵推演法与双蕴涵推演法
来源 :电视大学 | 被引量 : 0次 | 上传用户:ebeggar
【摘 要】
:
【正】 蕴涵推演法与双蕴涵推演法是数学证明中常用的方法。在《集合论与逻辑代数初步》中,要求学员掌握并会运用这种方法。本文谈谈蕴涵推演法与双蕴涵椎演法的理论依据、所
【作 者】
:
胡洪德
【机 构】
:
萍乡教育学院
【出 处】
:
电视大学
【发表日期】
:
1985年1期
【关键词】
:
推演法
逻辑定
传递律
集合论
永真
三A
子集
公理系统
三S
归纳原则
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
【正】 蕴涵推演法与双蕴涵推演法是数学证明中常用的方法。在《集合论与逻辑代数初步》中,要求学员掌握并会运用这种方法。本文谈谈蕴涵推演法与双蕴涵椎演法的理论依据、所使用的逻辑定律以及它们在集合论中的运用,供同学参考。
其他文献
尿酸与高血压靶器官损伤的关系研究
目的探讨尿酸与高血压靶器官损伤的关系。方法选择2008年8月至2010年8月间住院的高血病患者,测定禁食12h的早晨空腹血清尿酸值。观察高血压合并左心室肥厚、颈动脉内膜增厚、
期刊
高尿酸血症
高血压
靶器官
脑肾
视网膜
Hyperuricemia
Hypertension
Target organ
Brain
Kidney
R
社会建构主义模式与外语能力的培养
社会建构主义模式是基于当代教育心理学的一些重要理论和思想提出的一种教学理论。它将心理学的新观点、新思想应用于对语言教学的认识理解,乃至实际行动。社会建构主义模式对
期刊
社会建构主义模式
外语能力
自主学习
教育心理学
个税自行纳税申报制度的实施条件及对策分析
实施个人所得税自行纳税申报应该具备一系列制度和环境条件,其中包括发达的税务代理业、浓厚的纳税意识、高效便捷的征管手段、个税制度设计的公平性和公共品的公平享受、健全
期刊
个人所得税
自行纳税申报
税务代理业
纳税人意识
人性化设计
Personal income tax
Self - returns
Tax agency
紧扣“奇”字 突出“趣”字——《黄山奇石》教学指要
黄山是我国著名的风景区,也是世界著名的山岳旅游胜地。黄山景色以怪石、云海、奇松、温泉最著名,自古以来,为大家所熟悉,被誉为“黄山四绝”。《黄山奇石》是义教第四册新选
期刊
《黄山奇石》
“奇”
“趣”
看图学文
爱国主义教育
教学
自然段
风景区
山岳旅游
模仿说
发展中的我国广播电视大学
【正】 教育,同其它社会领域一样,正面临着新的挑战。那种高墙深院、书声朗朗的封闭性教育方式正面临着一种不受时间和空间限制、不受学生的数量和年龄、职业限制的新的开放
期刊
广播电视大学
发展中
职业限制
地方电大
电大事业
“四化”
基层电大
开放性教育
电视播出
电大发展
印刷教材编写规范会议在黄村召开
【正】1987年10月15日—19日,10月27日—30日中央电大和部分省市电大的有关人员及主讲教师在北京黄村培训中心分别召开了“中央电大印刷教材编写规范研讨会预备会”、“中央
期刊
教材编写
黄村
编写规范
主讲教师
客观质量
电大事业
研讨会
三稿
大副
教务长
周围神经损伤90例疗效分析
不同缝合方法与治疗效果有关。已有的材料分别表明束膜缝合优于外膜缝合、束膜缝合与外膜缝合无差异、外膜缝合优于束膜缝合、神经束膜周边缝合疗效较为满意等不同结果。
期刊
复杂手外伤
早期处理
功能康复
分析化学各章基本要求(一)
【正】 第二章.滴定分析法引论1.明确滴定分析法对化学反应的要求。2.掌握基准物质应具备的条件,要求能正确选择基准物质(从试剂规格、纯度、物质的化学组成及化学性质等方面
期刊
酸碱滴定法
基准物质
分析化学
基本要求
等当点
滴定分析法
当量值
指示剂
滴定反应
量定
普通物理静电学部分辅导
【正】 普通物理第三篇电磁学的内容可以分为三大部分:电现象、磁现象、电现象与磁现象间的联系及统一的电磁运动规律。其中电现象又包括静电学和稳恒电流两部分。稳恒电流这
期刊
静电学
带电体
试探电荷
电势迭加原理
普通物理
点电荷
电荷分布
静电场
电场力
高斯定理
普通物理实验辅导(一)——基础知识部分
【正】 (一)基本概念真值是被测物理量的客观实际值。测量值与真值之差称为误差。由于误差的存在,物理量的真值一般是无法精确知道的。理论证明,在没有系统误差的情况下,以相
期刊
真值
普通物理实验
多次测量
系统误差
绝对误差
有效数字
基础知识
测量值
物理量
偶然误差
其他学术论文