逻辑或

✍ dations ◷ 2025-05-17 13:12:02 #逻辑联结词,布尔代数,二元运算

逻辑或(logical or)又称逻辑析取(logical disjunction)、逻辑选言,是逻辑和数学概念中的一个二元逻辑算符。其运算方法是:如果其两个变量中有一个真值为“真”,其结果为“真”,两个变量同时为假,其结果为“假”。

逻辑或是两个逻辑变量的一种运算,经常是两个命题的运算。它满足:当且仅当其两个变量的真值都为假时,其结果为假。

A或B的真值表(也写作A {\displaystyle \lor } ∈ ∪ ⇔( 当且仅当) ( ∈ ) ∨ ( ∈ ).

就如其他在数理逻辑中形式化的概念一般,自然语言中的“或”和逻辑的“或”高度相关,但有差异。像例如在“你给我打电话,或者寄信给我”这例子中,其真实的意思往往是“你要不就给我打电话,要不就给我寄信,但不要同时寄信和打电话。”,也就是会排除掉两者皆成立的状况;在另一方面,在“小橘子姐姐开赛车的驾驶技术神乎其技,因此她很努力,或者她很有天分”这例子中,两者皆成立的状况通常并未排除。也就是说,在自然语言中,“或”可以指“逻辑或”,或者是“逻辑异或”。

相关

  • 肠腺利贝昆氏腺是位于十二指肠壁和空肠壁的一种外分泌腺,在不同的位置,其功能不尽相同。
  • 终端细支气管小支气管是空气由鼻或口到肺的肺气泡之间的通道,而分支下层不再包含软骨或腺体。小支气管是支气管的分支。小支气管具有微丝血管。Template:Lower respiratory system anatom
  • 小写字母小写字母,亦作小写体,是罗马字母、希腊字母、西里尔字母等字母表中所存在的两种字母形式之一,如罗马字母表中第一个字母有两种形式,大写为A,小写则为a。在使用这几种字母表的语言
  • 尼尔斯·克里斯托弗·杜奈尔尼尔斯·克里斯托弗·杜奈尔(瑞典语:Nils Christoffer Dunér,1839年5月21日-1914年11月10日),瑞典天文学家。1839年5月21日生于马尔默胡斯省比勒贝里亚。其父母是尼尔斯·杜奈尔
  • 群件群件(Collaborative software或Groupware),又称为群组软体、協同軟件、协作软件。群件是一个“网络软件”的概念,它定义了由一组(群)人使用的应用程序。它是基于这样一个设想,因为
  • dATP去氧腺苷三磷酸(Deoxyadenosine triphosphate,dATP)是一种去氧核苷酸三磷酸(dNTP),结构与腺苷三磷酸(ATP)相似,但少了一个位于五碳糖2号碳上的-OH基,取而代之的是单独的氢原子。若移去
  • 拳击袋鼠拳击袋鼠是澳大利亚的国家化身,常见于流行文化,尤其在澳大利亚运动员参与板球、网球和澳式足球等体育竞赛,近年来亦伴随澳大利亚国家足球队屡次出现在世界杯足球赛以及亚洲杯足
  • 桃园国际机场公司航空科学馆坐标:25°04′14″N 121°13′25″E / 25.070671°N 121.223627°E / 25.070671; 121.223627桃园国际机场股份有限公司航空科学馆,是台湾桃园市大园区的航空博物馆,简称桃园国
  • 东努沙登加拉东努沙登加拉省(印尼语:Nusa Tenggara Timur)是印度尼西亚的一个省,位于努沙登加拉群岛(小巽他群岛)东部。面积47,876平方公里。首府古邦位于帝汶岛西部(东部的东帝汶为一独立国家),
  • 杭州东站杭州东站位于中国浙江省杭州市江干区天城路,为上海局集团杭州站管辖的车站。经过铁路有沪昆铁路、沪昆客运专线、杭甬客运专线、宁杭客运专线,以及规划中的沪杭磁悬浮。该站始