✍ dations ◷ 2025-11-25 00:27:22 #∨
逻辑或(logical or)又称逻辑析取(logical disjunction)、逻辑选言,是逻辑和数学概念中的一个二元逻辑算符。其运算方法是:如果其两个变量中有一个真值为“真”,其结果为“真”,两个变量同时为假,其结果为“假”。逻辑或是两个逻辑变量的一种运算,经常是两个命题的运算。它满足:当且仅当其两个变量的真值都为假时,其结果为假。A或B的真值表(也写作A ∨ {displaystyle lor } B(逻辑学),A || B(计算机科学),或A + B(电子学))。逻辑或满足以下性质:逻辑或常在位运算中使用,比如:or运算符可以用来将比特域中的位设定为1,方法是把此域和一个各位均为1的常量域取逻辑或运算。x ∈ A ∪ B⇔( 当且仅当) (x ∈ A) ∨ (x ∈ B).就如其他在数理逻辑中形式化的概念一般,自然语言中的“或”和逻辑的“或”高度相关,但有差异。像例如在“你给我打电话,或者寄信给我”这例子中,其真实的意思往往是“你要不就给我打电话,要不就给我寄信,但不要同时寄信和打电话。”,也就是会排除掉两者皆成立的状况;在另一方面,在“小橘子姐姐开赛车的驾驶技术神乎其技,因此她很努力,或者她很有天分”这例子中,两者皆成立的状况通常并未排除。也就是说,在自然语言中,“或”可以指“逻辑或”,或者是“逻辑异或”。

相关

  • 3d10 4s22, 8, 18, 2蒸气压第一:906.4 kJ·mol−1 第二:1733.3 kJ·mol−1 第三:3833 kJ·mol−1 (主条目:锌的同位素锌(英语:zinc)是化学元素,化学符号是Zn,原子序数是30,相对原子
  • 演化的树状图现代生物分类群体从它们的 共同祖先遗传分化的图示。进化论介绍(英语:Introduction to evolution) 演化的证据 共同起源 共同起源的证据群体遗传学 · 遗传多样性 突变 · 自
  • 胸苷激酶结构 / ECOD胸苷激酶(英语:thymidine kinase)是一种磷酸转移酶(激酶):2’-脱氧胸苷激酶,三磷酸腺苷-胸苷 5’-磷酸转移酶,EC 2.7.1.21存在于大部分活体细胞中。它以两种同工酶的形式
  • 计算机的可视化可视化是指用于创建图形、图像或动画,以便交流沟通讯息的任何技术和方法。在历史上包括洞穴壁画、埃及象形文字等,如今可视化有不断扩大的应用领域,如科学教育、工程、互动多媒
  • 血清素转运体· protein binding · monoamine transmembrane transporter activity · serotonin transmembrane transporter activity · myosin binding · syntaxin-1 binding
  • 左冠状动脉左冠状动脉(arteria coronaria sinistra,英文简称LCA),又称左主冠状动脉(left main coronary artery,简称LMCA)为主动脉的一条分支,负责供应心脏左侧的血流。其源自于主动脉瓣(英语:ao
  • 语言习得语言习得(英语: language acquisition,又译“语言悉得”〔因为此概念与学习无关〕)是人类语言发展的进程,也是典型的人类特有的特征之一,因为非人类的生物不使用语言交流。第一
  • 现象论现象主义(Phenomenalism ),认为物理对象无法被证明是自在存在的,而只能作为出现在时空中的感知现象或感觉刺激(如红色性、硬度、柔软度、甜味度等)而存在。特别是某些形式的现象主
  • 平衡平衡,是指一种稳定的状态,当受到多种对立的各方面,若每一部分都互相抵消,使整体无变化则称为平衡。在经济学上,若支出和收入相等,则达到一个平衡;在化学上,若一可逆反应的正反应与逆
  • 循证人体解剖学 - 人体生理学 组织学 - 胚胎学 人体寄生虫学 - 免疫学 病理学 - 病理生理学 细胞学 - 营养学 流行病学 - 药理学 - 毒理学实证医学(英语:Evidence-based medicine