首页 >
逻辑联结词
✍ dations ◷ 2025-04-03 11:37:03 #逻辑联结词
在形式逻辑中,逻辑运算符或逻辑联结词把语句连接成更复杂的复杂语句。例如,假设有两个逻辑命题,分别是“正在下雨”和“我在屋里”,我们可以将它们组成复杂命题“正在下雨,并且我在屋里”或“没有正在下雨”或“如果正在下雨,那么我在屋里”。一个将两个语句组成的新的语句或命题叫做复合语句或复合命题。又称逻辑操作符( Logical Operators)。基本的操作符有:“非”(¬)、“与”(∧)、“或”(∨)、“条件”(→)以及“双条件”(↔)。“非”是一个一元操作符,它只操作一项(¬ P)。剩下的是二元操作符,操作两项来组成复杂语句(P ∧ Q, P ∨ Q, P → Q, P ↔ Q)。注意,符号“与”(∧)和交集(∩),“或”(∨)和并集(∪)的相似性。这不是巧合:交集的定义使用“与”,并集的定义是用“或”。这些连接符的真值表:为了减少需要的括号的数量,有以下的优先规则:¬高于∧,∧高于∨,∨高于→。例如,P ∨ Q ∧ ¬ R → S是 (P ∨ (Q ∧ (¬ R)) → S的简便写法。下面是在输入P和Q上的16个二元布尔函数。
相关
- 细胞学细胞生物学(英语:cell biology)旧称细胞学(cytology),是研究细胞的形态结构、生理机能、细胞周期、细胞分裂、细胞自噬、细胞凋亡, 以及各种胞器及讯息传递路径的学科。研究范围专
- 类器官类器官是原生动物所具有的一种特殊结构,负责执行类似高等动物器官的功能,也有人将其归入细胞器。类器官也可是一种科学研究技术,指一些细胞的培养物,能够包含其代表器官的一些关
- 条约为了约束使用、发展、持有各种大规模杀伤性武器,世界各国已制订了各种大规模杀伤性武器条约及协定。条约规范了:
- 氟锂铍氟锂铍(FLiBe)是由氟化锂(LiF)和氟化铍(BeF2)混合产生的熔盐。氟锂铍既可作为核反应堆的冷却剂,也可作为反应堆增殖和裂变材料的溶剂。在熔盐反应堆中氟锂铍既是反应堆燃料,又是反应
- 康力龙康力龙也称司坦唑醇(Stanozolol),雄激素类药物。白色粉末状无臭。几乎不溶于水,能溶于油脂。用于慢性消耗性疾病、纠正重症术后消瘦负氮平衡、男性性腺功能减退、骨质疏松症、小
- 科学家科学家是一个泛称,广义上指使用系统化的活动来发现新知识的人。狭义的定义指使用科学方法做研究,并且在一定的领域取得重要影响或者贡献的科研工作者。 科学家一般是某个,或者
- 兽医学兽医学(英语:veterinary medicine 或 veterinary science)是一门应用医学诊断与治疗方法来处理动物问题的学门,面对的动物包括宠物、野生动物或家畜与家禽等。兽医学除了研究一
- 环氧合酶环氧合酶(拉丁语:Cyclooxygenase,简称COX)是一种酶(又名酵素),负责合成重要的生物激素——前列腺素家族的导介物质。当身体组织受到某种刺激如外伤、感染等会激活环氧合酶,使花生四
- 手舟骨手舟骨(英语:Scaphoid bone),又称舟状骨。Bones of the left hand. Volar surface.
- 派生派生变化,又译作衍生变化,(英语:Morphological derivation)在语言学中指的是借由改变原词的句法范畴(英语:Syntactic category)和/或增加实质性而非语法性的含意,从而使现有单词产生新