名词解释题
排中律
发布日期：2020-12-11
试题解析
Heyting代数
在数学中，Heyting代数是构成对布尔代数的推广的特殊的偏序集。Heyting代数为直觉逻辑而提出，它是在其中排中律一般不成立的逻辑。完全Heyting代数是无点拓扑学研究的中心对象。
- 中文名
- Heyting代数
- 偏序集
- 布尔代数的推广的
- 领域
- 数学
- 对象
- 无点拓扑学研究的中心对象
排中率
形式逻辑的基本规律之一。
- 中文名
- 排中率
- 类别
- 形式逻辑的基本规律
排中律
排中律，指在同一个思维过程中，两种思想不能同假，其中必有一真，即“要么A要么非A”，是形式逻辑的基本规律之一。排中律要求在同一思维过程中，不能对不能同假的命题（矛盾关系、反对关系）同时加以否定。比如有一块空地可以种庄稼，甲、乙两人讨论这块地该种什么庄稼好。甲一会儿说应该种玉米，一会儿又说不应该种玉米。针对甲的说法，乙说： “你的两种意见，我都不同意。”在这里，甲的说法就违反了矛盾律的要求，犯了“自相矛盾”的错误，因为他同时肯定了这块空地“应该种玉米”和“不应该种玉米”这两个相互矛盾的判断。而针对甲的说法，乙的说法就违反了排中律的要求，因为排中律认为两个互相矛盾的判断不能同假，而乙恰好断定上述两个判断都是假的。也就是说：这块地要不就是应该种玉米，要不就是不应该种玉米，二者必有其一。
- 中文名
- 排中律
- 所属学科
- 逻辑学
- 定义
- 形式逻辑
- 外文名
- law of excluded middle
- 相关概念
- 矛盾关系、下反对关系等
- 字母例子
- 要么A要么非A
标签： 排中律
题王网让考试变得更简单
扫码关注题王，更多免费功能准备上线！
