逻辑联结词

✍ dations ◷ 2024-12-22 21:09:59 #逻辑联结词

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

相关

双球菌双球菌（拉丁语：diplococcus，复数diplococci）是球菌的一类，其细胞沿一平面分裂，而子细胞成双排列。代表种类有脑膜炎双球菌（Neisseria meningitidis）、淋球菌（Neisseria gonorrhoeae）等
翻译后修饰翻译后修饰（英语：Post-translational modification，缩写PTM；又称后翻译修饰）是指蛋白质在翻译后的化学修饰。对于大部分的蛋白质来说，这是蛋白质生物合成的较后步骤。PTM是细胞信
病原学病原学又称为病因学是形成疾病的因素。因为不同性质的病原，大致上可以分成直接病因与助因两类。直接病因最常见的是创伤，或者是因为感染或辐射暴露导致的疾病。直接病因不一定
DHEA脱氢表雄酮，台湾称为去氢皮质酮（Dehydroepiandrosterone，DHEA）是一中内源性的甾体激素，其主要由肾上腺分泌，同时也由性腺和大脑分泌。它是人体外周循环中的最常见的甾体激素。
Ho4f11 6s22, 8, 18, 29, 8, 2蒸气压第一：581.0 kJ·mol−1 第二：1140 kJ·mol−1 第三：2204 kJ·mol主条目：钬的同位素钬（旧译作錵）是一种化学元素，它的化学符号是Ho，它的原子序数是
乙醇酸乙醇酸（glycolic acid (hydroacetic acid or hydroxyacetic acid)），别名2-羟基乙酸、羟基乙酸。结构式HOCH2COOH。纯品为无色无味易潮解结晶。溶于水、乙醇和乙醚。工业品常为7
路得路得记（希伯来语：.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter Aram Tsova","Taamey A
疑问词移位疑问词移位(英语称之为wh-movement、wh-extraction或A'-movement等)是一种可见于世界上许多语言的一种现象，在此现象中疑问词或词组会有特殊的语序，和一般的句子不同，在有此现
信息哲学信息哲学（philosophy of information）是哲学的一个与计算机科学、信息科学、信息技术和哲学相关的子领域它包含：信息哲学（PI）已经从人工智能哲学、信息逻辑、控制论、社会理论和
汉音陶文 ‧ 甲骨文 ‧ 金文 ‧ 古文 ‧ 石鼓文籀文 ‧ 鸟虫书 ‧ 篆书（大篆 ‧ 小篆）隶书 ‧ 楷书 ‧ 行书 ‧ 草书漆书 ‧ 书法 ‧ 飞白书笔画 ‧