首页 >
∨
✍ dations ◷ 2025-11-25 13:09:35 #∨
逻辑或(logical or)又称逻辑析取(logical disjunction)、逻辑选言,是逻辑和数学概念中的一个二元逻辑算符。其运算方法是:如果其两个变量中有一个真值为“真”,其结果为“真”,两个变量同时为假,其结果为“假”。逻辑或是两个逻辑变量的一种运算,经常是两个命题的运算。它满足:当且仅当其两个变量的真值都为假时,其结果为假。A或B的真值表(也写作A
∨
{displaystyle lor }
B(逻辑学),A || B(计算机科学),或A + B(电子学))。逻辑或满足以下性质:逻辑或常在位运算中使用,比如:or运算符可以用来将比特域中的位设定为1,方法是把此域和一个各位均为1的常量域取逻辑或运算。x ∈ A ∪ B⇔( 当且仅当) (x ∈ A) ∨ (x ∈ B).就如其他在数理逻辑中形式化的概念一般,自然语言中的“或”和逻辑的“或”高度相关,但有差异。像例如在“你给我打电话,或者寄信给我”这例子中,其真实的意思往往是“你要不就给我打电话,要不就给我寄信,但不要同时寄信和打电话。”,也就是会排除掉两者皆成立的状况;在另一方面,在“小橘子姐姐开赛车的驾驶技术神乎其技,因此她很努力,或者她很有天分”这例子中,两者皆成立的状况通常并未排除。也就是说,在自然语言中,“或”可以指“逻辑或”,或者是“逻辑异或”。
相关
- 儿科小儿科(或称儿科)是现代医学的一个分支,专门医疗患病的婴儿、儿童及青少年。最大的年龄通常至青春期。一个受到这方面知识专门训练的医生被称作儿科医生。
- 诺贝尔生理学与医学奖诺贝尔生理学或医学奖(瑞典语:Nobelpriset i fysiologi eller medicin),通常合称诺贝尔生理医学奖,由诺贝尔基金会管理,该奖项每年颁发一次,用于表彰在生理学或医学领域作出重要发
- L.卡尔·冯·林奈(英语:Carl Linnaeus,瑞典语:Carl von Linné,1707年5月23日-1778年1月10日),也译为林内,受封贵族前名为卡尔·林奈乌斯(Carl Linnaeus),由于瑞典学者阶层的姓常拉丁化,又
- 尼扎替丁尼扎替丁(INN:nizatidine)是一种组胺H2受体阻抗剂,主要用于抑制胃酸的分泌,并用于治疗消化道溃疡和胃食道逆流。尼扎替丁由礼来公司开发,并以商品名称Tazac和Axid推出市场。尼扎替
- 李斯特菌李斯特菌(学名:Listeria monocytogenes),又名单核细胞增生性李斯特菌、李氏菌,是一种兼性厌氧细菌,为李斯特菌症的病原体。它主要以食物为传染媒介,是最致命的食源性病原体之一,造成
- 1812年战争战前原状,无边界变化;美国及其盟友英国及其盟友詹姆斯·麦迪逊利物浦伯爵1812年战争(War of 1812),又称第二次独立战争,是美国与英国之间发生于1812至1815年的战争。是美国独立后
- 家族性高胆固醇血症/IIa型家族性高胆固醇血症(英语:Familial hypercholesterolemia),缩写为FH,是一种遗传性疾病,表现为血液中高胆固醇水平(特别是极高的低密度脂蛋白(LDL)水平)和早期心血管疾病。 由于FH的基
- 华中科技大学武汉中心医院武汉市中心医院,是中华人民共和国一家综合性三级甲等医院,始建于1880年,其前身为汉口天主堂医院。主院区南京路院区位于湖北省武汉市江岸区,另外在江汉区设有后湖院区,以及谌家矶
- 杓状软骨杓状软骨(arytenoid cartilage、arytenoid、/ærᵻˈtiːnɔɪd/)是一对小三角锥体,形成喉部的一部分,且声带(vocal cords)与之相连。这些相连的结构允许及帮助声带的运动。每个
- 数理逻辑数理逻辑(英:Mathematical logic)是数学的一个分支,其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。数理
