【摘 要】
：
命题的属性包括结构属性和值属性.命题的结构决定了命题之间的关系,决定了命题之间的逻辑运算.命题的真值只是一个由命题的结构决定的值属性,并不能代表整个命题.逻辑运算是
【机 构】
：
北京科技大学信息工程学院,北京科技大学信息工程学院北京100083,北京100083
论文部分内容阅读
命题的属性包括结构属性和值属性.命题的结构决定了命题之间的关系,决定了命题之间的逻辑运算.命题的真值只是一个由命题的结构决定的值属性,并不能代表整个命题.逻辑运算是命题的运算,不是真值的运算.多值逻辑中,命题逻辑运算结果由命题的关系决定,真值相同的不同命题,逻辑运算结果的真值不一定相同,逻辑运算不是处处同态于某一个或某一簇真值函数(算子),有时复合命题的真值不能被它的成分命题的真值完全确定,所以多值逻辑的联结词并不总能定义成真值函数(算子)的形式.多值逻辑的命题公式不能再看作真值函数,命题公式是关于命题的
其他文献
备受医药行业人士关注的《药品注册管理办法》(试行 ) 2 0 0 2年 1 2月 1日正式实施 ,为使广大药品监管、医药研发及生产企业药品注册申报人员正确理解和贯彻执行《药品注册
<正> 今年,是鲁迅诞辰一百周年,也是《阿Q正传》发表六十周年。关于《阿Q正传》,鲁迅在好些文章中谈过。一九三三年,他在一篇变换笔名写的论时事的杂文《再谈保留》中也曾顺
计算机技术在不断发展之中逐渐形成了许多分支技术,如人工智能技术、多媒体技术等。人工智能技术作为一种全新自动技术,其是以计算机为平台、以计算机程序为核心的现代化控制
目的探讨大硬核白内障的手术技巧和临床效果。方法回顾分析89例(106只眼)IV~V级大硬核白内障患者,行手法无缝线小切口白内障摘除手术治疗,术中采用表面麻醉、软壳技术、居中
我国目前养老保险制度理应发挥的收入再分配功能因为自身结构缺陷,不仅没有对收入调节产生积极效应,反而呈现出延续和扩大差距的现象。而基于收入视角对城镇养老保险体制社会
三峡水库建成后 ,将在干、支流两岸形成长约 2 0 0 0公里的消落带。在落差约 30米的消落带中 ,由于季节性裸露和淹没 ,流水的反复冲刷 ,人类的频繁活动 ,使其成为生态脆弱区
文章以经济发展进入新常态为背景,对区域协调发展机制的创新进行了深入探讨。区域经济发展经历了从不平衡发展到协调发展,再到协同发展的政策取向变迁。区域协调是发展目标,
航空业的全球市场全球航空运输业的发展与各国经济发展水平密切相关，由于经济发展的不平衡，航空运输业发达的国家均为西方发达国家和亚太地区中等发达国家，发展中国家的航空运输
近些年来,我国加大了桥梁工程建设力度,使得我国桥梁建设取得了飞跃式的发展。想要保障桥梁工程整体的安全稳定性,必然离不开机械设备,只有充分做好施工中的机械设备管理工作
维持转售价格协议具有既可能便于经营者实施价格共谋,又可能提升服务质量、便于新企业进入等双重市场效果。促进竞争论基于不完全性较小等市场结构,认为该行为具有防止搭便车