切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
应用逻辑——现代逻辑的新发展(续)
应用逻辑——现代逻辑的新发展(续)
来源 :社会科学辑刊 | 被引量 : 0次 | 上传用户:hhj9290
【摘 要】
:
<正> (五)命令逻辑命令逻辑亦称命令句逻辑,是以逻辑演算为工具研究命令句之间的逻辑关系的一种应用逻辑新分支。研究命令句之间的关系,我们可以从“合上书本!合上笔记本!”推出“合上书本或笔记本!”任何一个命令句,总是同一个由它变形而来的将来态的命题相关.例如,“合上书本!”
【作 者】
:
姜成林
【出 处】
:
社会科学辑刊
【发表日期】
:
1988年6期
【关键词】
:
现代逻辑
命令逻辑
逻辑联结词
逻辑演算
义务逻辑
时态逻辑
量子逻辑
逻辑应用
应用逻辑
排中律
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
<正> (五)命令逻辑命令逻辑亦称命令句逻辑,是以逻辑演算为工具研究命令句之间的逻辑关系的一种应用逻辑新分支。研究命令句之间的关系,我们可以从“合上书本!合上笔记本!”推出“合上书本或笔记本!”任何一个命令句,总是同一个由它变形而来的将来态的命题相关.例如,“合上书本!”
其他文献
帕拉丁独步天下上演打鬼绝学
蓝色的人族大厅矗立在莱茵河畔的西方,Sky祭坛内金光一闪,打鬼英雄帕拉丁举着榔头走出了祭坛。基地响起了战斗的钟声,农民伯伯在帕拉丁的带领下直接打掉了雇佣兵营地并买出了黄
期刊
帕拉丁
移动速度
莱茵河
SKY
黄皮
死亡
对预应力混凝土枕中碱骨料反应的探讨
对预应力混凝土枕中碱骨料反应的探讨铁道部太原轨枕厂孙月清,张奇男,魏宜龄在混凝土工程中,由于开裂影响耐久性,造成工程损失,国内外都有很多实例。以往为解决裂纹缺陷,曾多次调查
期刊
铁路
轨枕
混凝土轨枕
碱骨料反应
预应力
纳克萨玛斯掉落装备
憎恶区 帕奇维克 埃提耶什的碎片 拾取后绑定 职业:牧师、法师、术士、德鲁伊 需要等级60 使用:将40个埃耶什的碎片组合成埃耶什的杖柄。断离 拾取后绑定 双手 双手斧 235-354
期刊
装备
掉落
治疗效果
伤害
绑定
拾取
耐力
速度
安戈洛环形山
期刊
汉大赋衰落原因探索
<正> 汉大赋在对先秦文学因素的继承与对先秦文化传统的反动之后,以反传统的姿态发展了文学,在两汉兴盛一时,在文学史上留下了灿烂而有意义的一页。然而,以张衡赋为转折点,大赋开始衰落,代之而起的是抒情小赋。从此大赋一蹶不振,结束了独霸一
期刊
汉大赋
抒情小赋
司马相如
文学史
文学因素
反传统
转折点
张衡
杨雄
汉赋
希利苏斯
期刊
基于RBAC的RPMI系统模型的特权验证过程研究
介绍RPMI系统中关键部分“特权验证处理过程”的实现。提出了使用对象标识号OID和证书缓存机制对证书实施验证。
期刊
权限管理基础设施
RBAC
属性证书
电能质量与电气化铁道
本文介绍了电气化铁道牵引负荷的特点和电能质量国家标准规定的内容,提出了电铁在执行电能质量国家标准中需要注意和解决的问题。
期刊
电能质量
电气化铁道
供电
牵引负荷
华为软交换SoftX3000数据管理原理点滴
本文从华为软交换日常维护的角度出发,按照SoftX3000的数据管理流程,介绍了数据处理和数据设定的相关处理过程,包括数据格式化、联机设定、CRC校验、数据备份、联机加载等内
期刊
SOFTX3000
数据设定
进程
存储与转换
格式化
联机设定
论乡镇企业的技术进步机制
<正> 乡镇企业的技术进步主要是指乡镇企业中的生产技术要素向现代化水平发展,提高生产设备及其他生产工具的质量和效率,改革和革新工艺,提高企业职工的技术水平、文化水平和劳动素质,引进、消化和吸收新技术,开发新产品,改善质量,在单位产品中实现净劳动和物化劳动的节约的经济与社会过程。本文旨在试图描述乡镇企业技术进步的一般规律,揭示乡镇企业技术进步的社会方式、社会动因和社会条件。
期刊
乡镇企业发展
技术进步机制
企业技术进步
开发新产品
社会动因
经济与社会
现代化水平
剩余劳力
技术要素
社会经济动因
与本文相关的学术论文