逻辑联结词

✍ dations ◷ 2025-02-23 07:04:58 #逻辑联结词

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

相关

MeSH医学主题词（Medical Subject Headings，MeSH，或译医学主题词表）是一部庞大的受控词表（或者说，元数据系统），是广泛应用于医学信息检索的一种工具。在生命科学领域旨在用于标引（英语：Subj
多个多关节炎（英语：polyarthritis）是一次有五个或五个以上关节同时发炎的关节炎。自身免疫是常见的病因。多关节炎可能发生在任何年龄，且没有特别的性别偏向。若一次只有一个关节受
Drugs.comDrugs.com 是美国一个提供药物（学）资讯给消费者和专业医护人员的线上药物百科。Drugs.com这个域名原本由柏尼·纽贝克在1994年注册。1999年，互联网正处于快速发展期，艾瑞克·麦
双环总门见正文双环总门(Bigyra)是一个不等鞭毛类的子类群。包括Bicosoecea，Labyrinthulomycetes，Opalinea，Proteromonadea以及芽囊原虫纲（Blastocystis）。
吞噬体吞噬体也称为吞噬小体，是一种在胞吞作用中在被吞噬物质周围形成的囊泡，这种囊泡由细胞膜向细胞内凹陷产生。吞噬体是一种在免疫过程中常见的细胞结构，入侵机体的病原微生物可在
过氧化物酶过氧化物酶（EC编号 1.11.1.x）是很大的一族酶，它们通常催化一个下面形式的反应：这一类酶当中有很多酶的最理想底物为过氧化氢，还有一些则有机的氢过氧化物如过氧化脂类。过氧化物
锌铜电池丹尼尔电池又称锌铜电池，是一种以锌为负电极；铜为正电极；硫酸锌与硫酸铜为电解液的电化电池，由约翰·弗雷德里克·丹尼尔（John Frederic Daniell）于1836年发明，丹尼尔电池一称来自
伯氏疏螺旋体伯氏疏螺旋体（Borrelia burgdorferi），也译作博氏疏螺旋体、布氏疏螺旋体，巴格朵夫疏螺旋菌，莱姆病螺旋体，是一种螺旋体。伯氏疏螺旋体是莱姆病的病原体，由蜱传播给人类。伯氏疏螺旋
乙酰胺酚7.21 g/kg (0 °C) 8.21 g/kg (5 °C) 9.44 g/kg (10 °C) 10.97 g/kg (15 °C) 12.78 g/kg (20 °C) ~14 mg/mL (20 °C)对乙酰氨基酚（英语：Acetaminophen），又称
声调声调（英语：Tone）的完整意义是一种附着于音节的高低抑扬（音调，或称音高）。语言学家赵元任从音阶获得灵感，设计了五度调值标记法，以数字1表示最低音，到数字5表示最高音。赵氏五度标记法