逻辑或

✍ dations ◷ 2025-09-04 21:19:25 #逻辑联结词,布尔代数,二元运算

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

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

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

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

相关

  • β-折叠β折叠(β-sheet),又称β片层结构(β-pleated sheet),是蛋白质的一种二级结构。在β折叠中,两条以上氨基酸链(肽链),或同一条肽链之间的不同部分形成平行或反平行排列,成为“股”。肽平
  • Oracle甲骨文公司(英语:Oracle,NASDAQ:ORCL)是一间全球性的大型企业软件公司。总部位于美国加州红木城的红木岸(Redwood Shores),现时首席执行官为Safra Catz, CTO为公司创办人劳伦斯·埃
  • 多普勒超音波医学超声检查(超声检查、超声诊断学)(英语:Medical ultrasound)是一种基于超声的医学影像诊断技术,使肌肉和内脏器官等软组织可视化,包括其尺寸、结构和病理学病灶。产科超声检查广
  • 奥兹玛计划奥兹玛计划是康乃尔大学的天文学家法兰克·德雷克,于1960年在美国国家无线电天文台使用位于西维吉尼亚的绿堤电波望远镜所从事的早期搜寻地外文明计划(SETI),实验的目的是通过无
  • 理疗人体解剖学 - 人体生理学 组织学 - 胚胎学 人体寄生虫学 - 免疫学 病理学 - 病理生理学 细胞学 - 营养学 流行病学 - 药理学 - 毒理学物理治疗(英语:physical therapy,或作phy
  • 格尔尼卡格尔尼卡(西班牙语:Guernica y Luno,巴斯克语:Gernika-Lumo)是西班牙中北部一城镇,位于巴斯克自治区,毕尔巴鄂东北。1937年4月西班牙内战中,纳粹德国的空军轰炸了该镇。这个事件激发
  • 卡诺卡诺(英语:Kano)是尼日利亚第二大城市和卡诺州的首府,2009年人口3,626,068,居民以豪萨族为主,大多是伊斯兰教逊尼派信徒。卡诺是尼日利亚北部的经济中心,2007年11月政府宣布在市内
  • 标准化智力测验智能商数(德语:Intelligenzquotient),简称智商(德语:IQ),是用智力测试测量人在其年龄段的认知能力(“智力”)的得分。人的智商呈正态分布,目前主要的智力测验(包含最常被使用的“韦克斯
  • 龙岗街道龙岗街道是中国广东省深圳市龙岗区下辖的一个街道,位处深圳市东北部,龙岗中心城区。龙岗街道位于龙岗区北部,东、南与宝龙街道接壤,西与龙城街道、东莞凤岗镇毗邻,北与坪地街道相
  • 珍妮丝·贾普林詹尼斯·琳恩·乔普林(英语:Janis Lyn Joplin,1943年1月19日-1970年10月4日),美国歌手、音乐家、画家和舞者。她在1960年代以大哥控股公司乐队(Big Brother & the Holding Company)