逻辑联结词

✍ dations ◷ 2025-10-08 16:20:06 #逻辑联结词

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

相关

心脏病心脏病（cardiovascular disease (CVD)）是心脏疾病的总称，包括风湿性心脏病、先天性心脏病、高血压性心脏病、冠心病、心肌炎等各种心脏病：医学导航: 产科生理/发育/薄膜（英语：Temp
科学分类生物分类学（英语：biotaxonomy）通常直接称分类学（英语：taxonomy；法语：taxonomie；西班牙语：taxonomía），是一门研究生物类群间的异同程度，阐明生物间的亲缘关系、进化过程和发展规律的科学
胰脂肪酶胰脂肪酶（Pancrelipases），特别是它的缓释剂型(例如： Creon, Pancreaze, Pertzye, Ultresa, Zenpep) 是猪源性胰淀粉酶的商用混合物(作用于淀粉水解酶)，胰脂肪酶和胰凝乳蛋白
联合国粮农组织联合国粮食及农业组织（法语：L'Organisation des Nations Unies pour l'Alimentation et l'Agriculture，缩写为ONUAA; 英语：Food and Agriculture Organization of the United Na
软骨炎软骨炎（英语：Chondritis）是软骨的炎症。它有几种形式，包括骨软骨炎、肋软骨炎（英语：Costochondritis）、复发性多发性软骨炎（英语：Relapsing polychondritis）。肋软骨炎特别之处是它的
演替演替（英语：succession）是指在群落发展变化过程中，由低级到高级，由简单到复杂，一个阶段接着一个阶段，一个群落代替另一个群落的自然演变现象。裸地的存在是群落形成的最初条件和场所
丙酸丙酸(propanoic acid)，又称初油酸，是三个碳的羧酸和短链饱和脂肪酸，化学式为CH3CH2COOH。纯的丙酸是无色、腐蚀性的液体，带有刺激性气味。工业上丙酸是通过四羰基镍催化剂存在下
计算机图形学计算机图形学（英语：computer graphics，缩写为CG）是研究计算机在硬件和软件的帮助下创建计算机图形的科学学科，是计算机科学的一个分支领域，主要关注数字合成与操作视觉的图形内容
悬浊液在化学中，悬浊液（英语：Suspension）也称为“悬浮液”或“悬胶”，是指含有大到可以沉降的固体颗粒的非均相流体。在药剂学中混悬剂是指难溶性固体药物以微粒状态分散于分散介质中形
热带热带,（英语：Tropics）的广义是指地球上南、北回归线（南、北纬23度26分）之间的地区的总称，但在气候方面一般会进一步区分出赤道热带和亚热带，无极昼极夜现象。热带有时从气候上定义，指