切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
试证模态方阵的科学性及其推演的有效性
试证模态方阵的科学性及其推演的有效性
来源 :湘潭师范学院学报:社会科学版 | 被引量 : 0次 | 上传用户:yejing00
【摘 要】
:
【正】 模态逻辑是研究含有“必然”、“可能”等模态算子的命题及其推理的逻辑学科。在传统逻辑学中,逻辑学家们把简单模态命题之间所进行的推演总结成一个图,用以表述它们
【作 者】
:
李建华
【出 处】
:
湘潭师范学院学报:社会科学版
【发表日期】
:
1989年2期
【关键词】
:
模态算子
模态逻辑
试证
合式公式
传统逻辑
有效性
重言式
公理
模态命题逻辑
逻辑学家
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
【正】 模态逻辑是研究含有“必然”、“可能”等模态算子的命题及其推理的逻辑学科。在传统逻辑学中,逻辑学家们把简单模态命题之间所进行的推演总结成一个图,用以表述它们之间的真假关系。这个图被称之为模态方阵,或叫模态对当关系。
其他文献
一种在含水溶剂中从1,1-二溴乙烯合成末端炔的新方法
报道了1种从1,1-二溴乙烯制备端炔的方法,使用便宜易得的四丁基溴化铵(TBAB)、碳酸钾和三苯基膦为试剂,在含水二甲基甲酰胺(DMF)中进行反应。该反应条件温和、底物适应范围广、收
期刊
有机合成化学
端炔
1
1-二溴乙烯
Corey-Fuchs反应
四丁基溴化铵
organic synthetic chemistry terminal alk
政治动员视角下的川陕苏区群众大会研究
群众大会是中共川陕苏区进行广泛政治动员的重要仪式。群众大会类型可分为苏维埃政权成立大会、红三十三军成立大会、军事胜利庆祝大会、公审大会、诉苦会、八一建军节庆祝会
期刊
川陕苏区
红四方面军
群众大会
政治动员
Sichuan-Shaanxi Soviet areathe Fourth Front Red Armymass me
基于摄影测量的事故车辆碰撞变形分析方法研究
常见的事故类型通常都伴随着车辆的碰撞变形,事故车辆动能的一部分在碰撞中转化为变形能。表征变形能大小的等效碰撞速度是交通事故再现分析中的重要参数。对事故车辆的变形
学位
交通事故再现
直接线性变换模型
碰撞变形
等效碰撞速度
在数学教学中培养学生的创新能力
本文结合实例从多方面论述教师培养学生的创新能力的策略:把自己变成创新型教师,在课堂教学中随机应变,做到得心应手;引导学生合作探究;教学中,运用多媒体等现代教学手段呈现全方位
期刊
初中数学
创新能力
培养
信息化环境下中学化学课堂教学探索
本文论述信息技术与化学教学融合的优势和策略,提出利用信息技术进行化学教学应注意的问题,以更好地将信息技术与化学教学进行融合,破解传统教学中的难点和困惑,搭建良好的师
期刊
中学化学
信息化
教学探索
大学生社会态度的特点
【正】 态度是一种心理现象。它是对人、对观念或事物的一种心理倾向.社会态度则是对社会的心理倾向。社会上的各种态度不仅影响一个人的行为,也能决定一个人的生活方式.研究
期刊
社会态度
当代大学生
政治态度
心理倾向
唯物主义世界观
人的生活方式
追求真理
新生期
树立新观念
实践能力
互联网金融“穿透式”监管:逻辑机理与规范运用
互联网金融不断创新和业务性质的日趋复杂加剧了行业风险的不确定性,为建立和完善适应互联网金融发展特点的监管长效机制,监管机构针对互联网金融提出了"穿透式"监管方案。其
期刊
互联网金融
穿透式监管
实质违法
比例原则
正当性
湖南新构造运动研究
本文着重从地貌,并参考重力均衡、温泉和地震资料,对湖南新构造运动特点,及其与大地构造的关系提出了一些讨论意见。
期刊
地貌
新构造运动
温泉
地震
重力均衡
geomorphyneotectonicshot springearthquakegravity balance
“加强职工健康管理刻不容缓”
编者按:职业人群的健康问题长久以来备受关注。$$近年来,我国传统的职业病形势依然严峻,“十二五”期间,我国新发职业病特别是新发尘肺病报告数仍呈上升趋势。$$此外,随着生物、高
报纸
具有时滞和下临界企业竞争模型的稳定性和Hopf分支分析
为了研究下临界和时滞对企业产量的影响,主要考虑具有下临界的企业竞争模型,针对企业生产所产生的生产周期和信息时滞对企业生产产量的影响,将时滞引入具有下临界企业竞争模
期刊
下临界
稳定性
双时滞
HOPF分支
周期解
lower critical stability two delays Hopf bifurcation peri
与本文相关的学术论文