收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

三段论规则的符号化

黄卫星  
【摘要】:正三段论规则通常是用自然语言来表述的,本文试图用人工语言来表述三段论的一般规则,并用符号化的三段论规则推演三段论的有效式。为此,必须先使三段论的基本要素符号化:

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 梁洁;;标志设计中符号的形式美[J];晋城职业技术学院学报;2011年04期
2 傅斌;;论汉字的符号化表现[J];陕西教育(高教版);2011年06期
3 邱立波;;广告符号对品牌传播的影响[J];新闻爱好者;2011年15期
4 杨振;;从世博展馆探索环境艺术设计的符号化[J];群文天地;2011年07期
5 王卫静;;服装品牌终端特征与符号化消费互动模式的探讨[J];大众文艺;2011年16期
6 张艳梅;;由“人民新戏曲”到东方奇观——当代文化语境中的戏曲媒介形象辨析[J];戏剧(中央戏剧学院学报);2011年02期
7 焦小婷;;《土生子》中的身体叙事阐释[J];外语研究;2011年04期
8 周冯灿;;解析《让子弹飞》的受众触点互动效应[J];电影文学;2011年15期
9 宋晓芳;;那边的世界——村上春树作品中“井”的意象分析[J];北方文学(下半月);2011年05期
10 宫暑卉;;浅谈电视剧《亮剑》的人物形象塑造[J];大众文艺;2011年12期
11 胡宇;;中国当代艺术中的“卡通问题”[J];美术学报;2011年04期
12 任海澜;;符号如是说——符号学在环境艺术设计中的应用探索[J];现代装饰(理论);2011年06期
13 韩燕;;中国网络皮钦语作为语言变体的顺应性研究[J];湖北广播电视大学学报;2011年09期
14 张坚;;远望与重建:创造的悲怆——历史中的许江[J];美术研究;2011年02期
15 林梦达;;香港苏富比当代亚洲艺术秋季拍卖会 张晓刚重要早期作品首见拍场[J];长三角;2010年10期
16 谢瑾;;从二元实体到四元系统——苏珊·朗格符号思想解读[J];学习月刊;2011年12期
17 胡利;;生活中的街道和被表征的街道[J];北方文学(下半月);2011年05期
18 卢蓉;闫琳;;新时期“话题剧”审美文化价值分析[J];当代电影;2011年07期
19 邓楚君;;汉字招贴符号化设计的解析及应用[J];中国包装;2010年02期
20 陈永万;龙学家;;萧红小说的疾病隐喻[J];剑南文学(经典教苑);2011年07期
中国重要会议论文全文数据库 前10条
1 黄卫星;;三段论规则的符号化[A];1996年逻辑研究专辑[C];1996年
2 陈小鸿;;基于RunMap软件的符号化新工艺[A];《测绘通报》测绘科学前沿技术论坛摘要集[C];2008年
3 陈小鸿;;基于符号化的三维GIS[A];全国测绘与地理信息技术研讨交流会专辑[C];2003年
4 黄卫星;;运用FoxBASE研究“EI三段论”规则[A];1994年逻辑研究专辑[C];1994年
5 祁华斌;艾廷华;胡珂;;基于ArcGIS的地图符号库建立及符号化实施[A];地图学与GIS学术讨论会论文集[C];2002年
6 王磊;;面向GIS与制图动态符号化组件关键技术研究[A];中国测绘学会2010年学术年会论文集[C];2010年
7 徐建新;张光伟;顾芒;羌鑫林;;一种道路构面算法的实现[A];地理信息与物联网论坛暨江苏省测绘学会2010年学术年会论文集[C];2010年
8 崔京男;;浅谈ArcGis的符号库的建立[A];吉林省测绘学会2008年学术年会论文集(下)[C];2008年
9 张瑞;杨璐璐;;基于ArcObjects程序实现地图符号的符号化[A];江苏省测绘学会2008年度学术年会论文集[C];2008年
10 吴志文;;讲坛神话与消费盛宴——“后讲坛时代”的消费文化观照[A];中国传媒大学第三届全国新闻学与传播学博士生学术研讨会论文集[C];2009年
中国博士学位论文全文数据库 前10条
1 金鹏;符号化政治——并以文革时期符号象征秩序为例[D];复旦大学;2003年
2 王文革;文学梦的审美分析[D];华中师范大学;2004年
3 李津平;基于Internet的地图符号化研究[D];中国科学院研究生院(遥感应用研究所);2003年
4 李正爱;江南都市群文化研究[D];上海师范大学;2008年
5 骆翔宇;多智能体系统的符号模型检测[D];中山大学;2006年
6 朱蓉;城市记忆与城市形态[D];东南大学;2005年
7 韩永进;技术发展模型和模式演化研究[D];天津大学;2007年
8 陈雪;从断裂到弥合—山江纯苗区口传教育的现代转型研究[D];西南大学;2010年
9 尹章才;地图表达机制及其基于可扩展标记语言的描述[D];武汉大学;2005年
10 王俊秋;当代影视剧中的“清宫戏”研究[D];吉林大学;2008年
中国硕士学位论文全文数据库 前10条
1 梁建;试论数学符号对数学发展的影响[D];南京师范大学;2005年
2 杨静;被消费的中国传统文化[D];苏州大学;2008年
3 李超前;中产阶级意识与日常生活审美化[D];湖南师范大学;2009年
4 巫洪亮;想象的“工农兵”与“工农兵”的想象[D];福建师范大学;2007年
5 孙丽娜;中国传统节日吉祥物设计研究[D];西安理工大学;2008年
6 刘艳;GIS支持下的地图符号库系统的设计与研究[D];吉林大学;2005年
7 陈玲;当代消费主义语境下视觉文化的审美研究[D];山东师范大学;2009年
8 杨芳芳;消费社会语境下品牌图腾化研究[D];兰州大学;2007年
9 薛芸;蒙古族装饰图案在地域性建筑中的语义表达[D];内蒙古工业大学;2007年
10 郭希彦;地域文化在景观设计中的应用研究[D];福建师范大学;2008年
中国重要报纸全文数据库 前10条
1 记者 王恒志;告别“符号化”节日[N];新华每日电讯;2009年
2 成都来也旅游策划管理有限责任公司 北京来也旅游规划咨询有限责任公司 杨振之;旅游的符号化与符号化旅游[N];中国旅游报;2009年
3 李近远;防止认知“符号化”[N];甘肃日报;2010年
4 经济视点报记者 刘慧;符号化新豫商[N];经济视点报;2005年
5 特约撰稿 胡谱忠;《太阳总在左边》:去除符号化的另一种“藏语电影”[N];中国民族报;2011年
6 商报记者 扈明;中国着装时尚告别“符号化”[N];北京商报;2009年
7 前锋电子控股公司董事长、四川新泰克控股有限公司董事长 程世平;新经济与财富的符号化(二 )[N];厂长经理日报;2000年
8 周静文 徐宁;传统节日“符号化”令人忧[N];新华日报;2005年
9 余佐赞;图书消费符号化现象[N];中国图书商报;2007年
10 记者 刘云伶 叶健;传承离不开快乐参与,端午莫成周末加长版[N];新华每日电讯;2010年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978