首页 >
∨
✍ dations ◷ 2025-12-07 08:39:11 #∨
逻辑或(logical or)又称逻辑析取(logical disjunction)、逻辑选言,是逻辑和数学概念中的一个二元逻辑算符。其运算方法是:如果其两个变量中有一个真值为“真”,其结果为“真”,两个变量同时为假,其结果为“假”。逻辑或是两个逻辑变量的一种运算,经常是两个命题的运算。它满足:当且仅当其两个变量的真值都为假时,其结果为假。A或B的真值表(也写作A
∨
{displaystyle lor }
B(逻辑学),A || B(计算机科学),或A + B(电子学))。逻辑或满足以下性质:逻辑或常在位运算中使用,比如:or运算符可以用来将比特域中的位设定为1,方法是把此域和一个各位均为1的常量域取逻辑或运算。x ∈ A ∪ B⇔( 当且仅当) (x ∈ A) ∨ (x ∈ B).就如其他在数理逻辑中形式化的概念一般,自然语言中的“或”和逻辑的“或”高度相关,但有差异。像例如在“你给我打电话,或者寄信给我”这例子中,其真实的意思往往是“你要不就给我打电话,要不就给我寄信,但不要同时寄信和打电话。”,也就是会排除掉两者皆成立的状况;在另一方面,在“小橘子姐姐开赛车的驾驶技术神乎其技,因此她很努力,或者她很有天分”这例子中,两者皆成立的状况通常并未排除。也就是说,在自然语言中,“或”可以指“逻辑或”,或者是“逻辑异或”。
相关
- 北美洲北亚ç¾åˆ©åŠ æ´²ï¼ˆè‹±è¯ï¼šNorth Americaï¼›å—æºï¼šäºšç¾åˆ©å“¥Â·ç»´æ–¯æ™®è¥¿ï¼‰ï¼Œç®
- 呼肠孤病毒正呼肠孤病毒属 Orthoreovirus 环状病毒属 Orbivirus 轮状病毒 Rotavirus 科罗拉多壁虱热病毒 Coltivirus 水产呼肠孤病毒 Aquareovirus 质型多角体病毒 Cypovirus 斐济病毒
- 甲状腺机能亢进甲状腺功能亢进症(Hyperthyroidism),又称甲状腺机能亢进症,简称甲状腺亢进、甲亢,是一种由于体内过量的三碘甲腺原氨酸(T3)和 四碘甲腺原氨酸(T4,也即甲状腺素)造成的临床症状。而甲状
- 病毒病毒性疾病(viral disease;viral infection;infectious disease)发生时,生物体被病原体侵入,感染性病毒颗粒附着并进入易感细胞。病毒性疾病通常通过临床表现来检测,例如发烧前的严
- 纵膈纵膈(mediastinum)是描述胸腔中心为疏松结缔组织所包围的构造,并无一个明显的界限。本区域包含许多解剖构造,包含心脏及其周围血管系统、食道、气管、膈神经(英语:phrenic nerve)、
- 内插子内含子(英语:Intron)是一个基因中非编码DNA片段,它分开相邻的外显子。更精确的定义是:内含子是阻断基因线性表达的序列。DNA上的内含子会被转录到前体RNA中,但RNA上的内含子会在RN
- 小时小时(拉丁语:hora,常见符号为“h”)是一个时间的计量单位。根据国际单位制,1小时等值于60分钟,也等值于3600秒,约是一个平太阳日的二十四分之一。在协调世界时(UTC)时刻系中,为与世界
- 防止船舶污染国际公约防止船舶污染国际公约(英语:International Convention for the Prevention of Pollution from Ships,简称MARPOL),现称“关于1973年防止船舶污染国际公约之1978年议定书(英语:Proto
- 弓虫症弓虫症是一种由弓形虫造成的寄生虫病,成年感染一般无症状。弓虫症常会伴随持续几周或几月之久的类似于流感的症状(英语:flu-like illness),例如肌肉疼痛、淋巴结触痛。一小部分人
- 叠氮化氢叠氮酸,分子式HN3,在常温常压下为一种无色、具挥发性、有刺激臭、高爆炸性的液体。叠氮酸主要用于保存贮存溶液(stock solution),以及作为一种试剂。叠氮酸在1890年首先由Theodor
