切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
数理逻辑中的联结词蕴涵式
数理逻辑中的联结词蕴涵式
来源 :重庆职业技术学院学报 | 被引量 : 0次 | 上传用户:longerken
【摘 要】
:
在数理逻辑中,要确保推理的正确性,首先应保证写出的前提条件是正确的.在将命题符号化时,逻辑联结词的正确使用最为关键.而其中最容易出错的是蕴涵联结词.本文对蕴涵联结词及
【作 者】
:
李红
【机 构】
:
重庆职业技术学院
【出 处】
:
重庆职业技术学院学报
【发表日期】
:
2004年2期
【关键词】
:
数理逻辑
等价联结词
蕴涵联结词
逻辑蕴涵式
mathematical logic connective implication inference true
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在数理逻辑中,要确保推理的正确性,首先应保证写出的前提条件是正确的.在将命题符号化时,逻辑联结词的正确使用最为关键.而其中最容易出错的是蕴涵联结词.本文对蕴涵联结词及其相关的一些符号进行了较为深刻的分析.
其他文献
中国心连心发布盈利预喜,预计2017年度净利润同比至少增长1100%
近日,中国心连心化肥有限公司欣然宣布,预计截至二零一七年十二月三十一日止年度,集团净利润与去年同期相比百隋&最少增长1100%。
期刊
净利润
中国
预计
盈利
公司
集团
浅析江门市养猪场恶臭排放情况与防治措施
随着江门市生猪养殖业生产经营的规模化程度不断提高,养猪场的污染越来越受到人们关注,特别猪场的臭气扰民问题成为城镇环境管理监督的难点、热点问题。通过分析江门市养猪场
期刊
养猪场
集约化
恶臭
防治对策
波瓣喷管引射机理及应用研究
在工程应用中,波瓣喷管被广泛用于引射系统。波瓣射流不同于普通直通射流,波瓣射流下游存在复杂的涡系结构,从而使得波瓣射流有着较直通型射流更为优越的引射性能。本文应用
学位
排气引射系统
波瓣喷管
数值模拟
机理研究
新技术对电子商务的影响
近年来,我国电子商务随着科学技术的不断进步取得了飞速的发展,现如今已经深入到人们生活的各个方面的电子商务,不仅使人们的生活更加方便,而且使人们的生活品质得到了提高。
期刊
新技术
电子商务
关于利用一维波动理论计算土层地震反映传递函数的讨论
对利用一维波动理论计算土层地震反应时,将基岩假定为具有自由边界的半无限空间,输入地震记录、计算传递函数,进而计算土层地表的地震反应这一方法步骤的合理性进行了讨论。理论
期刊
地震反应
土壤力学
一维模型
传递函数
对高校学生性别构成的调查与思考
目前,从高校学生性别总构成与专业构成两方面看,女生的比例在逐步增加。这和女生的生理、心理特点有关,也和教育资源分配、当前学生就业形势等有关。
期刊
高校
性别构成
变化
college gender composition change
建筑智能化系统中项目管理的应用探讨
建筑智能化系统是以信息技术为核心的多种先进技术在建筑平台上的集成。项目管理在其中的应用是对系统建设质量和运行状况的重要保证。本文通过分析现代项目管理的特点及其应
期刊
建筑智能化系统
项目管理
应用
HMDS预处理系统
讲述了HMDS预处理工艺过程,HMDS预处理系统的优越性及该系统的工作原理与结构。
期刊
六甲基二硅氮烷
涂胶
预处理
疏水
现代澳大利亚女性工作—家庭冲突的分析研究
20世纪80年代澳大利亚政府倡导的"肯定行动计划"增加了参与劳动力市场的女性比例,扩充了女性的就业范围,使得众多澳大利亚女性凭借其在社会工作中所做的贡献逐步赢得了社会的认
期刊
现代澳大利亚女性
工作—家庭冲突
平衡
modern Australian women conflict between work and family bal
快乐小羊受邀广州亚洲美食节 以0℃鲜享尽展中华火锅骄傲
2019年亚洲美食节将于5月16日—23日在'美食之都'羊城广州举行。来自内蒙古的0℃冷鲜火锅品牌'快乐小羊',也荣幸入选'亚洲美食节名菜榜'。0℃冷鲜火
期刊
美食节
与本文相关的学术论文