逻辑或

✍ dations ◷ 2024-12-23 01:18:48 #逻辑联结词,布尔代数,二元运算

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

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

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

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

相关

  • 昆虫学动物学人类学 · 人与动物关系学 蜜蜂学 · 节肢动物学 医学节肢动物学 · 鲸类学 贝类学 · 昆虫学 动物行为学 · 蠕虫学 两栖爬行动物学 · 鱼类学 软体动物学 · 哺乳动
  • 星际尘埃宇宙尘(英语:Cosmic Dust)是由众多细小粒子组成的一种固态尘埃,自宇宙大爆炸起,便四散在浩瀚宇宙之中。宇宙尘的组成包含硅酸盐、碳等元素以及水分,部分来自彗星、小行星等星体的
  • 无线电探空仪无线电探空仪通常由充满氦气或氢气的气球(风向球)搭载升空,在中低层大气测量大气主要数据,并通过无线电将数据传回地面气象站点的仪器。运用无线电传送数据,测量高空天气数据的仪
  • 普罗布考普罗布考(Probucol),是由美国Marion Merrell Dow公司于1977开发,作为降脂药物上市。上市后在临床试验中发现,普罗布考有卓越的抗动脉硬化作用,并且对血管介入术后保护,防止糖尿病的
  • 闽浙总督闽浙总督(满语:ᡶᡠᡤᡳᠶᠠᠨ ᠵᡝᡤᡳᠶᠠᠩ ᠨᡳ ᡠᡥᡝᡵᡳ ᡴᠠᡩᠠᠯᠠᡵᠠ ᠠᠮᠪᠠᠨ,穆麟德:fugiyan jegiyang ni uheri kadalara amban),正式官衔为总督闽浙等处地方提
  • 中大兄皇子天智天皇(日语:天智天皇/てんじてんのう Tenji Tennō;626年-672年1月7日),日本第38代天皇(668年正月初三至671年十二月初三在位)。父舒明天皇,母皇极天皇(重祚为齐明天皇)。讳葛城皇子
  • 金门县公共自行车金门县公共自行车租赁系统(英文:K Bike)是金门县政府负责建置的公共自行车租赁系统。2017年4月16日由伟华科技实业负责正式营运,同年10月改由金门县观光处营运;此系统于2018年12
  • 德国马歇尔基金会德国马歇尔基金会(German Marshall Fund of the United States,简称GMF)成立于1972年,是美国一个无党派背景的公共政策研究和募款团体,创立目的为感谢马歇尔计划对西德的支持。其
  • 塞米诺尔温泉塞米诺尔温泉(英语:Seminole Hot Springs)是位于美国加利福尼亚州洛杉矶县的一个非建制地区。该地的面积和人口皆未知。塞米诺尔温泉的座标为34°06′26″N 118°47′26″W / 3
  • 瑞士国家图书馆瑞士国家图书馆是瑞士联邦文化办公室下的一个机构,是该国国家图书馆,已经列入瑞士国家和区域重要文化财产名录。 其历史可以追溯至1895年,虽然不是瑞士的法定送存图书馆,但是已