逻辑或

✍ dations ◷ 2025-04-26 01:14:21 #逻辑联结词,布尔代数,二元运算

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

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

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

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

相关

  • 石灰石石灰岩(灰石)(CaCO3)简称灰岩,又叫石灰石,是以方解石(矿物)为主要成分的碳酸钙岩。石灰岩主要是在浅海的环境下形成的。石灰岩按成因可划分为粒屑石灰岩(流水搬运、堆积形成);生物骨
  • 球墨铸铁肥粒铁(α-Fe) 针状肥粒铁(acicular α-Fe) 奥氏体(γ-Fe) 马氏体 波来铁(88%肥粒铁,12%碳化三铁) 变韧铁 粒滴斑铁(波来铁及渗碳体的共晶    混合物,含碳量4.3%) 碳化三铁(Fe3C) β铁
  • 斯塔夫罗波尔边疆区斯塔夫罗波尔边疆区(俄语:Ставропольский край,罗马化:Stavropolsky krai)位于前高加索西部、大高加索北麓,是俄罗斯联邦主体之一,成立于1924年2月13日,属北高加
  • 堂兄堂亲是指跟自己父亲有血缘关系的同姓氏男性亲人及其姻亲和后代;粗略地来说,如果不考虑改姓、随母姓等特殊情况,除了父母及两人的直系后代之外,来自父亲一方同姓的血亲(父亲兄弟及
  • Ⅲ期临床试验临床试验(英语:Clinical trial)是一种根据研究方案利用已上市药物或安慰剂作为对照组的方式,对药物或其他医学治疗在受试者身上进行比较测试的过程。在临床试验中,研究者要先决定
  • 陶瓷史朝鲜陶瓷开始于隆起文土器(英语:yunggimun pottery)。9世纪后期,统一新罗从中国引进制瓷技术,是世界上最早引进制瓷技术的国家之一。12世纪,青瓷在朝鲜半岛的发展达到鼎盛,创造出翡
  • 神德王后神德王后(韩语:신덕왕후;1356年7月12日-1396年9月15日)康氏,朝鲜太祖正妃,本贯谷山,是高丽判三司事、象山府院君康允成和晋山府夫人姜氏的女儿。高丽时,为太祖的京妻,太祖即位后封为显
  • 塞浦路斯领土争端塞浦路斯问题(希腊语:Κυπριακό (ζήτημα) , 土耳其语:Kıbrıs Sorunu)是位在地中海东部的塞浦路斯岛上,因为塞浦路斯岛上的希腊人及土耳其人族裔问题及是否南、北
  • 舟山舟山市(吴语拼音: Cieusae Zy)是中华人民共和国浙江省下辖的地级市,位于浙江省东北部,其行政区域范围为整个舟山群岛。市境西北隔杭州湾与上海市、嘉兴市相望,西南隔海与宁波市相
  • 美国胸腔学会美国胸腔学会(The American Thoracic Society,缩写: ATS),成立于1905年,是美国一个独立注册的、国际性、 以呼吸医学和重症监护医学医学为主的教育与科学组织。大约有18000学会成