论文部分内容阅读
在定量的意义下使模糊命题演算完全包容经典命题逻辑是不可能的。布尔算子命题逻辑用算子和算子的演算定性地描述和处理模糊命题的不确定性，将经典命题逻辑作为其特例。在布尔算子命题逻辑中给出了其公理系统和求公式恒真水平的机械推导算法。
形式布尔算子的命题逻辑
【摘 要】
：
在定量的意义下使模糊命题演算完全包容经典命题逻辑是不可能的。布尔算子命题逻辑用算子和算子的演算定性地描述和处理模糊命题的不确定性，将经典命题逻辑作为其特例。在布尔
【机 构】
：
东北师范大学计算机科学系
【出 处】
：
东北师大学报：自然科学版
【发表日期】
：
2000年3期
【基金项目】
：
国家自然科学基金资助项目!( 6970 3 0 1 0 ,69983 0 0 2 )
其他文献
根据《国家中长期教育改革和发展规划纲要（2010-2020年）》，广东省进行中高职衔接“三二分段”模式的推广。随着中职生的升学渠道不断拓宽，中职与高职专业技能方面能否有效顺畅地对接，成为中职学校和高职学院共同研究的课题。以惠州工程职业学院电子与信息技术专业为例，为培养应用型技能人才，对接广东工贸职业技术学院电子应用技术专业的技能要求。惠州工程职业学院电子教研室对中职电工技能实训课程进行长期的探索，
介绍了唐河水库的工程概况，提出了对堆石面板坝进行设计时应采取合理的坝体分区填筑，并充分利用当地材料作填筑料，可降低工程造价，取得良好的经济效益和社会效益。