切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
分辨充分条件假言命题
分辨充分条件假言命题
来源 :重庆理工大学学报:社会科学 | 被引量 : 0次 | 上传用户:mengdewei6677
【摘 要】
:
形式逻辑教科书中关于充分条件假言命题的定义及其列举的某些例句,值得质疑。对形如“如果p,那么q”的命题,应以其前、后件本身是不是真值确定的命题为标准,划分成两类。充分条件
【作 者】
:
林昌时
【机 构】
:
贵州省司法警官学校
【出 处】
:
重庆理工大学学报:社会科学
【发表日期】
:
2010年5期
【关键词】
:
实质蕴涵
严格蕴涵
充分条件
假言命题
essence implication
strict implication
sufficient condit
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
形式逻辑教科书中关于充分条件假言命题的定义及其列举的某些例句,值得质疑。对形如“如果p,那么q”的命题,应以其前、后件本身是不是真值确定的命题为标准,划分成两类。充分条件假言命题只是其中一类。由此出发,加以辨析,求解由逻辑学教科书中“充分条件假言命题”定义而引出的有关问题。
其他文献
对Hamilton谓词形式系统中两个公理模式的讨论
Hamilton的谓词形式系统中有这样两个公理模式:((A↓xi)A→A)(其中xi不在A中自由出现)和(((A↓xi)A(xi)→A(t))(其中项t对A(xi)中的xi是自由的)。在将Hamilton的谓词形式系统与Church,Hunter,Mendel
期刊
HAMILTON
谓词形式系统
公理模式
Hamilton
formal predicate system
axiom schemes
RSB—D30条子与R20转杯纱的完美结合
一、自调匀整并条机RSB-D30在ATME’97上,Rieter推出了一代全新的并条机。有了SB-D10(不带自调匀整)和RSB-D30(带自调匀整),Rieter公司的并条机水平更上一层楼。RSB-D30在其前身已经很高的质量水平基础上进一步压低了...
期刊
RSB-D30
自调匀整并条机
R20
环锭纺纱机
颈前路减压治疗脊髓型颈椎病63例疗效分析
目的观察颈前路减压治疗脊髓型颈椎病(CSM)的术后疗效。方法回顾性分析了2009年12月至2011年12月在我院行颈前路减压+植骨内固定术治疗的63例CSM患者临床资料,根据JOA标准对手术
期刊
脊髓型颈椎病
颈前路减压
疗效分析
卡前列素氨丁三醇防治剖宫产产后出血的临床研究
产后出血是指胎儿娩出后2h产妇出血超过400 mL或24 h内失血量超过500mL,是我国产妇死亡的首要原因[1].产后出血最常见的原因是子宫收缩乏力,占产后出血总数的70%~80%[2].剖宫产
期刊
卡前列素氨丁三醇
剖宫产术
产后出血
弹性纤维及其在服用织物中的应用
弹性织物具有合体、运动舒适、能够体现人体曲线美、可大幅度提高抗皱能力等优良特性,因而日益受到消费者的青睐。本文从弹性纤维的性能、弹性纱线的纺制以及弹力织物的织造等
期刊
氨纶
弹性纤维
纺纱方法
弹性织物
elastic fiber
the method of spun
elastic fabric
Toyota公司推出新款喷气织机
期刊
Toyota公司
喷气织机
新产品
彩色控制面板
引纬系统
打纬系统
论德沃金原则论的演进
为了批判法律实证主义,德沃金的原则论进行了一些调整和变化。在最初的原则论版本中,德沃金以法律原则的强区分命题为基石,挑战了法律实证主义的规则模式;在更复杂的版本中,德沃金
期刊
德沃金
法律原则
原则论
强区分命题
权利命题
法律实证主义
Ronald Dworkin
legal principle
theory of legal
第4l届Moda In落下帷幕
期刊
2004年2月9-11日
第41届Moda
In服装面料和辅料展览会
意大利
参展规模
精神发育迟滞449例优势智力分析及干预主张
目的探讨精神发育迟滞(MR)患者的优势智力,为积极干预提出依据。方法采用韦氏成人智力量表对449例MR患者的智商进行评估,观察各分测验量表均分之间的差异。结果 MR患者各分测验
期刊
精神发育迟滞
智力
优势能力
干预
mental retardation
intelligence
predominant ability
interve
动态认知逻辑的一个批评
对于现代逻辑研究来说,理论计算机科学以及人工智能曾经并且正在为它提供的理论动机,在数量和范围上,已经远远超越了数学曾经和能够为它提供的理论动机。认知逻辑作为刻画关于知
期刊
认知逻辑
动态认知逻辑
关于知识的推理
认知行动
知识的变化
epistemic logic
dynamic epistemic logic
reaso
与本文相关的学术论文