【摘 要】
：
古典逻辑的基础是二值原则,即任何句子要么是真的要么是假的。而三值逻辑加入了一个既不是“真”也不是“假”的第三个真值。第三值的加入导致了经典的同一律、矛盾律和排中
论文部分内容阅读
古典逻辑的基础是二值原则,即任何句子要么是真的要么是假的。而三值逻辑加入了一个既不是“真”也不是“假”的第三个真值。第三值的加入导致了经典的同一律、矛盾律和排中律的失效,但是可以构造出在三值逻辑中依然普遍有效的新的矛盾律和排中律。在二值逻辑系统中的存在永真式和永假式,但是对于三值逻辑永“不确定”式的存在是未知的。在对三值逻辑中永“不确定”式的存在性论证的过程中,可以发现当一个三值逻辑系统是经典命题逻辑系统的扩张时,它就不存在永“不确定”式。
其他文献
随着国民经济水平的不断提升，我国各项基础设施建设也一得到了飞速的发展，各种新材料、新技术、新设备都得以不断的应用到实际施工当中。公路建设是国家基础设施建设当中一项重
近年来，我国海洋事业取得了飞速发展，且其规模越来越大。我国海洋面积广阔，海洋蕴含着丰富的资源，对我国经济的发展有着重要作用，然而海洋原理陆地，海洋环境恶劣，同时受多种因素的影
摘 要：落叶松是我国东北、内蒙古林区以及华北、西南的高山针叶林的主要森林组成树种，是东北地区主要三大针叶用材林树种之一。本文对落叶松人工林抚育措施的研究成果进行了概述，包括立地的选择、林分密度的控制、间伐及合理轮发期的确定等。最后，针对目前落叶松人工林经营存在的问题，提出了建议。 关键词：落葉松 人工林 经营 落叶松的不同种，不论是生态学特征或是林学特性都有明显的差异。不同的种对大区气候条件的
本文根据动力学原理,建立了适于任意斜板形状的滑跳动力学模型,提出了一种起落架载荷的计算方法,进行了斜板滑跳的起飞包线的仿真和分析研究,为进一步研究斜板起飞技术的增益
雨季造林已经成为我国荒山绿化、变耕为林的一种重要方式，在造林工业中占有重要地位。本文结合我国雨季造林实践，对雨季造林可采取的造林措施进行分析，并在此基础上探讨了雨季造
随着生态文明的提出和发展，全国各大高校相继出现了建立生态大学的新动向。而在中国大多数高校，特别是知名院校都是公立的，政府自然在发挥着举足轻重的作用。本文从从生态文明的
转品产生的心理机制主要从系统功能语言学、认知语言学角度和心智哲学理论以及词的功能概念几个方面进行研究。从系统功能理论看修辞效果产生的原因有语义、语用、构式语法因
高层建筑是城市建设与发展的关键，在高层建筑施工过程中，梁柱节点的施工是一大难点工程，通过施工人员对其进行混凝土浇筑，不仅能够提高其承载力，还能够降低工程造价，为工程创造更多
随着我国现代化的进一步发展，电气设备已经成为生产、生活中的重要组成部分。而电气设备安装作为工程建设的重要环节，其不仅关系着整个工程质量水平的高低，更关系到未来建筑工程
培养良好学习习惯的做法张爱玲苏联教育家马卡连何说过：“我们要求的是把儿童的生活作为培养一定类型的习惯的经验组织起来。”我国著名的语文教育家叶圣陶也指出，要使种种方法