逻辑联结词

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

相关

  • 阿昔洛韦阿昔洛韦(Aciclovir,ACV)又被写作Acyclovir或Acycloguanosine,又称无环鸟苷,是一种鸟嘌呤类似物类的抗病毒药物。主要用来治疗单纯疱疹病毒感染、水痘、带状疱疹。另外也应用在移
  • 阵发性剧痛症阵发性剧痛症(英语:paroxysmal extreme pain disorder、PEPD)是一种常染色体显性遗传的疼痛性疾病,症状为无征兆的突发性烧灼痛,伴有皮肤潮红,一般发生在直肠、下颌和眼部。阵发性
  • 少数寡关节炎(英语:oligoarthritis,源自希腊语oligos,即“少”或“寡”)是指在发病的前六个月内,关节炎影响到 2 到 4 个关节。若一次同时有五个或五个以上的关节发炎,则称为多关节炎;若
  • 子囊果子囊果(ascocarp, ascoma,複數為ascomata)是子囊菌门真菌的子实体,由许多菌丝紧密交织组成。子囊果内可能含有上百万个子囊,每个子囊内均可产生八枚子囊孢子。子囊果的形状多为盘
  • 科学建模科学建模是一种借由已被广泛接受的科学以帮助我们了解、定义、量化、视觉化与仿真的科学活动。依据不同需求,在真实世界中萃取相关要素以建立适合的科学模型,像是借由概念模型
  • 东森新闻东森新闻台(台标标示为EBC东森新闻),是东森电视旗下的新闻频道。2018年12月,《镜周刊》报导傅崐萁在担任花莲县长任内共发包25个县府媒体采购案,然而采购案得标者皆为花莲在地媒
  • 鞭虫病鞭虫病(Trichuriasis),是由一种名为鞭虫(Trichuris trichiura)的寄生虫感染所导致的疾病。疾病的症状取决于患者体内的鞭虫数量,如果只感染很少量的虫,常常不会有显著症状,但若感染
  • 孕产妇死亡由来自于世界卫生组织(WHO)、联合国儿童基金会(UNICEF)、联合国人口基金会(UNFPA)、联合国人口司(英语:United Nations Department of Economic and Social Affairs)、世界银行
  • 记数系统记数系统,或称记数法或数制(numeral system、system of numeration),是使用一组数字符号来表示数的体系。一个理想的记数系统能够:记数系统可以按照以下方式分类:在木头、骨头或石
  • 奥摩语族奥摩语族是出现在埃塞俄比亚西南部的语言统称,常被界定为亚非语系(闪含语系)的语族之一。奥摩语族的语言带少许的胶着语性质,而部分语言用吉兹字母书写。