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

相关

  • 立克次氏体等立克次体(学名:Rickettsia),或者称立克次氏体,是一类细菌,但许多特征和病毒一样,如不能在培养基上培养,可以通过瓷滤器过滤,只能在动物细胞内寄生繁殖等。直径只有0.3-1μm,小于绝大
  • 被动吸烟二手烟,亦称非自愿性吸烟,是指在吸取燃点烟草时随着烟雾释放出来的物质,是一种被动吸烟(Passive smoking)方式有研究指二手烟有焦油、阿摩尼亚、尼古丁、悬浮微粒、超细悬浮微粒
  • 头孢菌素类抗生素头孢菌素(法语:Cephalosporine、英语:Cephalosporin),又名先锋霉素,是一系列属于β内酰胺类的抗生素。与头霉素一并细分为头孢烯。头孢菌素化合物最初是于1948年,由意大利科学家Giu
  • 担子菌门担子菌门(学名:Basidiomycota)是一类高等真菌,构成双核亚界,包含2万多种,包括蘑菇、木耳等主要食用菌。更具体地说,担子菌门包括以下组:蘑菇,马勃,stinkhorns(鬼笔科),支架真菌(英语:Bracke
  • 经济思想史经济思想史(History of economic thoughts),有时也称为经济学史(history of economic theory),是通过对过去的经济理论发展和变迁的追溯,针对“经济对于人类意味着什么”这个根本问
  • 加拿大卫生部加拿大卫生部(英语:Health Canada,法语:Santé Canada)是加拿大联邦政府中掌管公共卫生的部门。
  • 7第7周期元素是元素周期表第七行(即周期)的元素,皆具有放射性,包括锕系元素。有:第1周期元素 - 第2周期元素 - 第3周期元素 - 第4周期元素 - 第5周期元素 - 第6周期元素 - 第7周期
  • 多重宗教身份认同多重宗教身份认同提出一个人可同时属于多个宗教传统的概念。或许有些区域如亚洲早视此为正常现象,但不少宗教学者已开始讨论在不同宗教传统中,如华人民间信仰、犹太教、基督教
  • 小舌悬雍垂(palatine uvula,又名腭垂,俗称“小舌”、“吊钟”)是人体口腔器官,悬挂于软颚正中间的末端。悬雍垂的功能是在饮食时上升堵住食物通过鼻腔进入气管的通道,从而使食物进入食
  • 主格主格(拉丁语:casus nominativus, 英语:nominative case,缩写:.mw-parser-output .smallcaps-all{font-variant:small-caps;text-transform:lowercase}.mw-parser-output .smallcap