✍ dations ◷ 2025-12-05 07:48:26 #∨
逻辑或(logical or)又称逻辑析取(logical disjunction)、逻辑选言,是逻辑和数学概念中的一个二元逻辑算符。其运算方法是:如果其两个变量中有一个真值为“真”,其结果为“真”,两个变量同时为假,其结果为“假”。逻辑或是两个逻辑变量的一种运算,经常是两个命题的运算。它满足:当且仅当其两个变量的真值都为假时,其结果为假。A或B的真值表(也写作A ∨ {displaystyle lor } B(逻辑学),A || B(计算机科学),或A + B(电子学))。逻辑或满足以下性质:逻辑或常在位运算中使用,比如:or运算符可以用来将比特域中的位设定为1,方法是把此域和一个各位均为1的常量域取逻辑或运算。x ∈ A ∪ B⇔( 当且仅当) (x ∈ A) ∨ (x ∈ B).就如其他在数理逻辑中形式化的概念一般,自然语言中的“或”和逻辑的“或”高度相关,但有差异。像例如在“你给我打电话,或者寄信给我”这例子中,其真实的意思往往是“你要不就给我打电话,要不就给我寄信,但不要同时寄信和打电话。”,也就是会排除掉两者皆成立的状况;在另一方面,在“小橘子姐姐开赛车的驾驶技术神乎其技,因此她很努力,或者她很有天分”这例子中,两者皆成立的状况通常并未排除。也就是说,在自然语言中,“或”可以指“逻辑或”,或者是“逻辑异或”。

相关

  • 电池电池,一般狭义上的定义是将本身储存的化学能转成电能的装置,广义的定义为将预先储存起的能量转化为可供外用电能的装置。因此,像太阳能电池只有转化而无储存功能的装置不算是电
  • 植物相植物相(拉丁文:Flora,源自罗马神话里的花之女神)又译植物群或植物区系,指某一地区某一时段的特定植物种群。Flora另一个意思是植物志,是对一个植物区系的纪录和描述。植物相的原字
  • 乳酸乳酸(IUPAC学名:2-羟基丙酸)是一种化合物,它在多种生物化学过程中起作用。它是一种羧酸,分子式是C3H6O3。它是一个含有羟基的羧酸,因此是一个α-羟酸(AHA)。在水溶液中它的羧基释放
  • 毒蝇伞毒蝇伞(学名:Amanita muscaria)又称毒蝇鹅膏菌,为一种含神经性毒害的担子菌门真菌,分类上为鹅膏菌科鹅膏菌属的物种。毒蝇伞的生长环境遍及北半球温带和极地地区,且也无意间拓展到
  • 鸽子共有30-35种。Aplopelia Bonaparte, 1855鸽属(学名:Columba),是鸠鸽科的一属,此属的鸟类称作鸽、鸽子、粉鸟,包括各种中型和大型的鸽子,其中有我们今天常见的鸽子,即原鸽。鸽属中包
  • 心搏停止心脏停止(Cardiac arrest)或称为心搏停止,是心脏因不能够有效收缩,而导致血液循环停止的现象,症状包含丧失意识(英语:Unconsciousness)、呼吸异常或中止(英语:respiratory arrest),有些
  • 布莱克史密斯研究所布莱克史密斯研究所(Blacksmith Institute)是一个资助与环境污染相关研究的非政府机构,成立于1999年,总部设于美国纽约市,2002年起在中国运作。受资助的其中一个研究计划是“受污
  • 基洛夫州基洛夫州(俄语:Кировская область,罗马化:Kirovskaya oblast)位于东欧平原东部,属伏尔加联邦管区,是俄罗斯联邦主体之一,同时为“伏尔加-维亚特经济区”成员之一(参
  • 严重急性呼吸道综合征相关冠状病毒严重急性呼吸道综合征相关冠状病毒(英语:Severe acute respiratory syndrome-related coronavirus),简称SARS相关冠状病毒(SARSr-CoV),是冠状病毒科乙型冠状病毒属(英语:Betacoronavi
  • 大猩猩大猩猩是灵长目人科大猩猩属类人猿的总称。大猩猩是灵长目中体型最大与智力仅次于人类和黑猩猩的动物,它们生存于非洲大陆赤道附近丛林中,食素。至2006年为止依然有大猩猩分一