逻辑联结词

✍ dations ◷ 2025-12-08 22:56:29 #逻辑联结词
在形式逻辑中,逻辑运算符或逻辑联结词把语句连接成更复杂的复杂语句。例如,假设有两个逻辑命题,分别是“正在下雨”和“我在屋里”,我们可以将它们组成复杂命题“正在下雨,并且我在屋里”或“没有正在下雨”或“如果正在下雨,那么我在屋里”。一个将两个语句组成的新的语句或命题叫做复合语句或复合命题。又称逻辑操作符( Logical Operators)。基本的操作符有:“非”(¬)、“与”(∧)、“或”(∨)、“条件”(→)以及“双条件”(↔)。“非”是一个一元操作符,它只操作一项(¬ P)。剩下的是二元操作符,操作两项来组成复杂语句(P ∧ Q, P ∨ Q, P → Q, P ↔ Q)。注意,符号“与”(∧)和交集(∩),“或”(∨)和并集(∪)的相似性。这不是巧合:交集的定义使用“与”,并集的定义是用“或”。这些连接符的真值表:为了减少需要的括号的数量,有以下的优先规则:¬高于∧,∧高于∨,∨高于→。例如,P ∨ Q ∧ ¬ R → S是 (P ∨ (Q ∧ (¬ R)) → S的简便写法。下面是在输入P和Q上的16个二元布尔函数。

相关

  • KK00-K14 口腔、涎腺和颌疾病K20-K31 食管、胃和十二指肠疾病K35-K38 阑尾疾病K40-K46 疝K50-K52 非感染性肠炎和结肠炎K55-K63 肠的其他疾病K65-K67 腹膜疾病K70-K77 肝疾病
  • 卡尔·乌斯卡尔·理查德·乌斯(英语:Carl Richard Woese,1928年7月15日-2012年12月30日),生于纽约州锡拉丘兹,美国微生物学家和生物物理学家。乌斯因在1977年由对16S 核糖体RNA系统发生分类学
  • 哥伦布克里斯托弗·哥伦布(西班牙语:Cristóbal Colón;意大利语:Cristoforo Colombo),(1451年-1506年5月20日)探险家、殖民者、航海家,出生于中世纪的热那亚共和国(今意大利西北部)。在西班
  • 养老院老人院也叫安老院、养老院、安养院,是一些社区服务的机构,是为老人提供住宿和日常起居照顾的地方,工作人员分为社工、护士、医生、义工及助理员等,提供的是老人服务。老人院因为
  • 人格障碍人格障碍(英语:personality disorders),或人格(性格)疾患/异常/违常。是精神疾病中,对于一群特定拥有长期而僵化思想及行为病患的分类。这类疾患常可因其人格和行为的问题而导致社会
  • 百慕大坐标:32°20′N 64°45′W / 32.333°N 64.750°W / 32.333; -64.750面积以下资讯是以2018年估计国家领袖国内生产总值(国际汇率) 以下资讯是以2014年估计人类发展指数 以下资
  • 氮氧化物氮氧化物(NOx)指的是只由氮、氧两种元素组成的化合物。常见的氮氧化物:其中除五氧化二氮常态下呈固体外,其他氮氧化物常态下都呈气态。作为空气污染物的氮氧化物(NOx)常指NO和NO2
  • 芝加哥芝加哥(英语:Chicago),常被当地华人简称为芝城,位于美国中西部,属伊利诺伊州,为库克县县治,东临密歇根湖,辖区内人口272万。芝加哥及其郊区组成的大芝加哥地区,人口超过900万,是美国仅
  • 高铁血红蛋白血症正铁血红蛋白血症(methemoglobinemia),或高铁血红蛋白症、变性血色蛋白血症、变性血红素血症、变性红血球血症、急性变性血红素症,是指因血液中异常的出现过多不能带氧的正铁血
  • 原住民原住民,旧称土著,是指某地方较早定居的族群,皆源自外来者(尤其是入侵者)对本地人(或族群)的称谓,原意指当地居民、原居民,但多具有土番、番人、土人等落后的贬意,然而到了二十世纪后期