首页 >
逻辑联结词
✍ dations ◷ 2025-05-15 07:19:31 #逻辑联结词
在形式逻辑中,逻辑运算符或逻辑联结词把语句连接成更复杂的复杂语句。例如,假设有两个逻辑命题,分别是“正在下雨”和“我在屋里”,我们可以将它们组成复杂命题“正在下雨,并且我在屋里”或“没有正在下雨”或“如果正在下雨,那么我在屋里”。一个将两个语句组成的新的语句或命题叫做复合语句或复合命题。又称逻辑操作符( Logical Operators)。基本的操作符有:“非”(¬)、“与”(∧)、“或”(∨)、“条件”(→)以及“双条件”(↔)。“非”是一个一元操作符,它只操作一项(¬ P)。剩下的是二元操作符,操作两项来组成复杂语句(P ∧ Q, P ∨ Q, P → Q, P ↔ Q)。注意,符号“与”(∧)和交集(∩),“或”(∨)和并集(∪)的相似性。这不是巧合:交集的定义使用“与”,并集的定义是用“或”。这些连接符的真值表:为了减少需要的括号的数量,有以下的优先规则:¬高于∧,∧高于∨,∨高于→。例如,P ∨ Q ∧ ¬ R → S是 (P ∨ (Q ∧ (¬ R)) → S的简便写法。下面是在输入P和Q上的16个二元布尔函数。
相关
- 冠心病冠状动脉疾病(英语:coronary artery disease, CAD)又称为缺血性心脏病或简称冠心病(英语:ischemic heart disease, IHD)、冠状动脉粥状硬化心脏病、冠状动脉粥状硬化心血管疾病(英
- ALT谷丙转氨酶(英文:Alanine transaminase,缩写ALT)是一种转氨酶(EC 2.6.1.2,存在于血浆及多种身体组织中,但最常见与肝脏关联。也叫血清谷氨酸丙酮酸转氨酶(英语:serum glutamate pyruv
- 强直性脊柱炎强直性脊柱炎(拉丁文:spondylitis ankylosans,其中spondylitis原为希腊文脊柱炎之意,ankylosans原系希腊文强直之意),又称僵直性脊椎炎,在欧陆亦称此病为白赫铁列夫症(Morbus Bechte
- 大洋洋即大洋,是地球海洋的主体,为海洋的中心部分。世界大洋的总面积约占海洋面积的89%。大洋的水深一般在3000米以上,最深处可达1万多米。大洋离陆地远,不受陆地的影响,其水文和盐度
- 胰脏癌胰腺癌(英语:pancreatic cancer)是指胰腺细胞发生癌变而产生的肿瘤,这些肿瘤细胞具有侵犯其他组织的能力。胰腺的癌症可分为许多类型,最常见的是胰腺腺癌(pancreatic adenocarcino
- 汤飞凡汤飞凡(1897年7月23日-1958年9月30日),幼名瑞昭,湖南醴陵人,微生物学家,砂眼衣原体首次分离者。为第一个投身病毒学研究的华人。曾任中华医学会理事、中国国家菌种保藏委员会主任委
- 主编总编辑,也称总编、主编,是媒体事业之中,负责编辑、策画、指导新闻、指挥采访业务部门的主管。在较小型的媒体之中,总编辑常须自行参与编采业务;然而在较大的媒体事业,总编辑往往只
- 海胆海胆是棘皮动物门分类下的一个纲,其正式学名是海胆纲(Echinoidea),意思是“像豪猪般的动物”),又名“海刺猬”。海胆生活在海洋中,广泛分布于世界各地的海洋,从潮间带至数千米的深海
- 拉泽斯拉齐(波斯语:ابوبكر محمّد زکرياى رازى ,Abūbakr Mohammad-e Zakariā-ye Rāzī ;865年8月26日-925年),波斯医师、炼金术师、化学家、哲学家。他博学多才
- David Crystal大卫·克里斯托OBE FBA FLSW(英语:Fellow of the Learned Society of Wales)(英语:David Crystal,1941年7月6日-)是一位英国的语言学家、作家。他在1995年获得大英帝国勋章,并在2002