逻辑或

✍ dations ◷ 2025-08-13 07:40:05 #逻辑联结词,布尔代数,二元运算

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

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

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

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

相关

  • 子实层子实层(hymenium),是子囊菌门与担子菌门真菌子实层体上的构造。子实体中,最内侧的组织为菌髓,其外为子实下层(subhymenium),最外侧即为子实层。子实层的部分细胞可发育成担子(英语:bas
  • 伯蒂尔·希勒伯蒂尔·希勒(英语:Bertil Hille,1940年10月10日-),出生于康涅狄格州纽黑文,美国生物学家、华盛顿大学教授。他是埃纳尔·希勒的儿子。1962年在耶鲁大学获动物学学士学位。1967年,他
  • 后劲溪后劲溪是位在台湾高雄市的河川,长13公里,流经楠梓区、仁武区、大社区等地,为高雄地区1,600多公顷的农田的灌溉水源。因后劲(今属楠梓区)聚落得名。凤山县采访册记载:“后劲溪,在仁
  • 智神星智神星(英语、拉丁语:Pallas),小行星序号是2 智神星(2 Pallas),是人类继谷神星(小行星带中唯一的矮行星)后所发现的第一颗小行星。估计质量是小行星带的7%。智神星直径为544千米(338英
  • 阿努凯特在埃及神话中,阿努凯特或安努克忒(Anuket 或 Anqet,希腊叫 Anukis),最初起源于埃及境内尼罗河起始地,位于努比亚边界的象岛地区,她是尼罗河的化身及尼罗河女神。阿努凯特与赫努姆
  • 湖广省湖广省是清朝早期的一个省。辖区为今湖北省、湖南省境。明朝时,湖广等处承宣布政使司,通常简称为湖广行省、湖广省。清代沿袭明制,仍以布政使司为一级行政区单位,但省亦是官方使
  • 卡里马塔群岛卡里马塔群岛是印度尼西亚的小型群岛,位于婆罗洲西岸对开海域,提供由低地的红树林和热带雨林至1000米山顶的山地灌丛(montane shrubland)等不同生态系统。
  • 23宪法正文I ∙ II ∙ III ∙ IV ∙ V ∙ VI ∙ VII其它修正案 XI ∙ XII ∙ XIII ∙ XIV ∙ XV XVI ∙ XVII ∙ XVIII ∙ XIX ∙ XX XXI ∙ XXII ∙ XXIII ∙
  • 中国人民政治协商会议<br />浙江省委员会中国人民政治协商会议浙江省委员会,简称浙江省政协,是中华人民共和国浙江省的政治协商机构。
  • 河川袭夺河川袭夺是一个地理学上的名词,指在河流发育的过程中,相邻的两条河由于侧蚀或向源侵蚀的关系,“低位河”越过分水岭抢夺“高位河”上游集水区的现象,简称袭夺。袭夺高位河的低位