逻辑联结词

✍ dations ◷ 2024-11-05 12:22:41 #逻辑联结词

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

相关

防御素防御素（defensins）是一种蛋白质，是分子很小（15-20残基）、富含半胱氨酸的阳离子蛋白质，属于抗微生物肽的一类。存在于脊椎动物和无脊椎动物。防御素有很强的抗细菌，真菌和具外套膜病
工业灾难工业灾难是指由工业企业的疏忽、玩忽职守等造成的灾难。其中比较著名的有：
脂联素n/an/an/an/an/an/an/an/an/an/a脂连蛋白（英语：adiponectin，亦称为脂联素）是一种主要由脂肪细胞分泌的蛋白质激素，由ADIPOQ基因所编码，含244个氨基酸。成人体内的脂联素水平与脂肪
视觉化视觉化（英文：Visulation），又称为可视化模拟或者可视化仿真，是指其中对于特定系统的可视化与计算机模拟同时进行的一种混合过程。许多的用于GPGPU程序之中都包括有视觉化过程；通常，
儿童安全座椅儿童安全座椅（英语：Child safety seat）是一种系于汽车座位上，有束缚设备，仅供小童乘坐并能在发生车祸时，束缚着小童以保障小童安全的座椅。对两岁至六岁孩童，安全肩带与安全腰带防
网景网景通信（英语：Netscape Communications ），以前称为网景通信公司（Netscape Communications Corporation），大部分通常被简称为网景（Netscape）。网景曾经是一家美国的电脑服务公司，以其
二头肌肱二头肌是使到手臂弯曲的肌肉，连接肩胛骨和前臂的桡骨，收缩使到前臂弯曲。英文名“biceps brachii”的意思是“臂的两个头”，因为该肌靠近躯体的一部分分裂为两部分。健美运动
急性双表型白血病急性双表型白血病（Acute biphenotypic leukaemia），是一类病发于淋巴和骨髓的白血病。它是未定型类白血病的一个子类。幼淋巴细胞（幼T淋巴细胞白血病）
马来－波利尼西亚语族马来-波利尼西亚语族（Malayo-Polynesian languages）是南岛语系以下的一个分支，使用人口约有3亿8550万。在过去马来-波利尼西亚语系有时候也被当作是南岛语系的同义词。马来-波
南亚语系南亚语系旧称孟—高棉语系，也译作澳斯特罗-亚细亚语系（或澳亚语系），是世界主要语系之一。该语系主要分布于中南半岛、印度比哈尔邦和尼科巴群岛、孟加拉国以及中国云南等地，使用