切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
解决四个技术问题,实现传统逻辑教材的现代化
解决四个技术问题,实现传统逻辑教材的现代化
来源 :湖州师范学院学报 | 被引量 : 0次 | 上传用户:wffg0907
【摘 要】
:
传统逻辑教材现代化的进程中存在以下四个技术问题:把"如果非p那么非q"提升为必要条件假言命题的标准表达式;引入二元和多元斥取词以表达不相容选言命题;把主词存在问题由预
【作 者】
:
孔易人
【机 构】
:
浙江财经学院人文艺术学院
【出 处】
:
湖州师范学院学报
【发表日期】
:
2005年4期
【关键词】
:
传统逻辑
现代化
技术
教材
必要条件
选言命题
表达式
不相容
提升
logic teaching
modern logic
traditional lo
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
传统逻辑教材现代化的进程中存在以下四个技术问题:把"如果非p那么非q"提升为必要条件假言命题的标准表达式;引入二元和多元斥取词以表达不相容选言命题;把主词存在问题由预设提升为明设;以现代逻辑为纲来安排普通逻辑教材的体系.解决了这四个技术问题,现代逻辑与传统逻辑即可相互融合,相得益彰.
其他文献
优化高中音乐课堂教学策略
高中音乐教学,教师需要以新课程理念为指导,通过合理运用设计多媒体课件,优化教学媒体,强化意识、合理实施,教学语言、教学时间分配优化,高中音乐课堂教学中的“收”与“放”的关系
期刊
优化
高中音乐
课堂教学
策略
小学体育教学中如何培养学生的运动兴趣
随着素质教育的不断推进,当前小学教学中的体育教学也逐渐的受到了教师们的广泛重视。在体育教学中能够让学生对体育锻炼产生浓厚的兴趣,同时教师应该让学生通过体育运动提高自
期刊
小学教学
体育教学
运动兴趣
英国在欧洲联合起步时拒绝加入之原因探析
欧洲联合是二战结束后最为引人注目的大事之一。而作为欧洲强国之一的英国,从欧洲联合一起步,就有着与欧洲其它国家不同的态度和做法——拒绝参加,做一个游离于欧洲联合之外的旁
期刊
英国
欧洲联合
“三环”外交
英联邦
England
European union
“three-loop” diplomacy
Commonwealth
刑法中关于假药劣药犯罪的比较问题
我国刑法对生产、销售假药罪和生产、销售劣药罪采取分别划分定罪,但没有对假药和劣药的内在含义作出明确界定,而是直接援引我国药品管理法对假药、劣药的定义。无法满足现代社
期刊
假药
劣药
比较
《疯狂动物城》的主题意蕴和成功之道
<正>由迪士尼影业出品的《疯狂动物城》自2016年3月4日上映以来,口碑走高的同时,票房也一路飙升。北美上映首周末就拿下了7506万美元的票房,超越了《冰雪奇缘》,开创了迪士尼
期刊
《疯狂动物城》
主题意蕴
动画电影
成功之道
美式幽默
浅谈提高中学语文教学提问的有效性
设置问题和进行提问,是语文教师进行阅读教学的重要手段。教学过程的延伸是靠提问来进行支撑的,需要教师引导和点拔。在中学语文教学中,提问要切中要害,启迪思维;要捕捉信息,开拓思
期刊
语文教学
提问
有效性
推进互联网产业发展,构筑经济社会发展新动能
22年前,中国全功能接入互联网,开启了与世界互联互通的时代。22年来,中国积极融入世界互联网发展大潮,实施“宽带中国”战略,部署发展第三代、第四代移动通信,制定“网络强国
期刊
互联网发展
经济社会发展
产业发展
动能
移动通信
中国
第三代
第四代
入库管件质量检验技术探讨
管件是压力管道重要的受压元件,根据管件的制造方法和制作工艺,分析了主要管件的薄弱部位和应力分布特点.对入库管件质量检验的内容、方法和程序进行了探讨。
期刊
管件
入库检验
检验工艺
应力分布
pipe fittings
warehousing inspection
inspection process/tech
河南省女子摔跤运动员技战术特征分析
女子摔跤运动员在比赛中战胜对手需要全面综合的竞技能力。技战术的全面性及灵活运用是取胜的关键环节。本文通过文献资料法、现场观摩法、数据统计法、逻辑分析法,对河南省6
期刊
河南
女子摔跤运动员
技战术特征
分析
Henan Province
women wrestler
technical and tactical charact
统计软件的可靠性论证
在统计软件测试或软件维护过程中,利用抽样调查方法,通过数学模型,对软件可靠性的重要指标残留错误总数进行测定,从而认为软件质量是可以定量计算的,这有助于软件人员进行改进软件
期刊
抽样调查
数学模型
残留错误总数
软件质量
spot check
mathematics model
remnant total error
soft w
与本文相关的学术论文