首页 >
逻辑联结词
✍ dations ◷ 2025-01-22 21:07:41 #逻辑联结词
在形式逻辑中,逻辑运算符或逻辑联结词把语句连接成更复杂的复杂语句。例如,假设有两个逻辑命题,分别是“正在下雨”和“我在屋里”,我们可以将它们组成复杂命题“正在下雨,并且我在屋里”或“没有正在下雨”或“如果正在下雨,那么我在屋里”。一个将两个语句组成的新的语句或命题叫做复合语句或复合命题。又称逻辑操作符( Logical Operators)。基本的操作符有:“非”(¬)、“与”(∧)、“或”(∨)、“条件”(→)以及“双条件”(↔)。“非”是一个一元操作符,它只操作一项(¬ P)。剩下的是二元操作符,操作两项来组成复杂语句(P ∧ Q, P ∨ Q, P → Q, P ↔ Q)。注意,符号“与”(∧)和交集(∩),“或”(∨)和并集(∪)的相似性。这不是巧合:交集的定义使用“与”,并集的定义是用“或”。这些连接符的真值表:为了减少需要的括号的数量,有以下的优先规则:¬高于∧,∧高于∨,∨高于→。例如,P ∨ Q ∧ ¬ R → S是 (P ∨ (Q ∧ (¬ R)) → S的简便写法。下面是在输入P和Q上的16个二元布尔函数。
相关
- 胎粪胎粪是初生婴儿第一次排出体外的粪便。与他们往后排出的粪便不同的是:胎粪是胎儿在母体时所消化的物质构成,包括有肠黏膜的上皮组织、胎毛、黏液、羊水、胆汁及水分。由于胎儿
- 鼻窦炎鼻窦炎(Sinusitis)是描述发生于鼻窦的炎症。常见症状包含浓厚鼻涕、鼻塞,以及脸部疼痛。其他症状包含发烧、头痛、嗅觉减退、喉咙痛,以及咳嗽。咳嗽会于夜间加剧。严重副作用较
- 恩斯特·鲁斯卡恩斯特·奥古斯特·弗里德里希·鲁斯卡(德语:Ernst August Friedrich Ruska,1906年12月25日-1988年5月27日),德国物理学家,电子显微镜的发明者,1986年获诺贝尔物理学奖。恩斯特·鲁
- 二十世纪1901年1月1日至2000年12月31日的这一段期间被称为20世纪。该世纪最初属于“不列颠治世”后期,是工业革命大爆发的年代,识字率大量提升,科学研究一日千里,人类学会了制造航天器与
- 纽埃纽埃(又译纽威,纽埃语:Niuē)是位于太平洋中南部岛国,距离新西兰北部2,400公里;其西为汤加、以北是萨摩亚,以东则是邻国的库克群岛。纽埃国土为一椭圆形岛屿以及周围的珊瑚礁环绕组
- 班加西坐标:32°05′41″N 20°11′16″E / 32.0947711°N 20.1879106°E / 32.0947711; 20.1879106班加西(阿拉伯语:بنغازي)是位于利比亚北部锡德拉湾沿岸的一座港口城市,也是
- 颞.mw-parser-output ruby.zy{text-align:justify;text-justify:none}.mw-parser-output ruby.zy>rp{user-select:none}.mw-parser-output ruby.zy>rt{font-feature-settings:
- 识字识字(英语:literacy),有时称为读写能力,是指人阅读和书写文字的基本能力。一般是指读书和写字的能力水准到达可以沟通的能力。不识字的人称为文盲。根据联合国教科文组织的定义,识
- 比较比照法(comparative method)或比较法是一套比较语言学的研究方法,语言学家用它来揭示语言间的源流关系。它的任务是通过同源词的比较来证明两种或多种切实存在或存在过的语言拥
- 信息技术信息技术(英语:Information Technology,缩写:IT)也称信息和通信技术(Information and Communications Technology,ICT),是主要用于管理和处理信息所采用的各种技术总称,主要是应用计算