首页 >
∨
✍ dations ◷ 2025-12-03 07:29:17 #∨
逻辑或(logical or)又称逻辑析取(logical disjunction)、逻辑选言,是逻辑和数学概念中的一个二元逻辑算符。其运算方法是:如果其两个变量中有一个真值为“真”,其结果为“真”,两个变量同时为假,其结果为“假”。逻辑或是两个逻辑变量的一种运算,经常是两个命题的运算。它满足:当且仅当其两个变量的真值都为假时,其结果为假。A或B的真值表(也写作A
∨
{displaystyle lor }
B(逻辑学),A || B(计算机科学),或A + B(电子学))。逻辑或满足以下性质:逻辑或常在位运算中使用,比如:or运算符可以用来将比特域中的位设定为1,方法是把此域和一个各位均为1的常量域取逻辑或运算。x ∈ A ∪ B⇔( 当且仅当) (x ∈ A) ∨ (x ∈ B).就如其他在数理逻辑中形式化的概念一般,自然语言中的“或”和逻辑的“或”高度相关,但有差异。像例如在“你给我打电话,或者寄信给我”这例子中,其真实的意思往往是“你要不就给我打电话,要不就给我寄信,但不要同时寄信和打电话。”,也就是会排除掉两者皆成立的状况;在另一方面,在“小橘子姐姐开赛车的驾驶技术神乎其技,因此她很努力,或者她很有天分”这例子中,两者皆成立的状况通常并未排除。也就是说,在自然语言中,“或”可以指“逻辑或”,或者是“逻辑异或”。
相关
- 传染病感染是指由病原体物种在身为宿主的个体内进行有害的复制、繁殖过程。具传染性的生物体会寻找并且利用宿主体内资源,以利自身生存,但这个过程一旦干扰了宿主正常的生理运作,可能
- 语义网络语义网络(英语:Semantic Network)常常用作知识表示的一种形式。它其实是一种有向图;其中,顶点代表的是概念,而边则表示的是这些概念之间的语义关系。语义网络是机读型字典(machine-
- VIAF虚拟国际规范文档(英语:Virtual International Authority File,VIAF)是一个国际性的规范文档。该项目联合了许多国家图书馆,由线上电脑图书馆中心(OCLC)负责运营。此项目最初是为连
- 低血钾低钾血症(拉丁语:hypokalemia、hypopotassemia)是指血液中钾离子(K+)不足的情形。正常的钾离子在3.5至5.0mmol/L(3.5至5.0mEg/L)之间,若浓度小于3.5mmol/L,即为低钾血症。钾离子略低
- 脉翅目广翅亚目 Megaloptera 蛇蛉亚目 Raphidioptera 蛟蛉亚目 Planipennia脉翅目(学名:Neuroptera)包括草蛉、蚁蛉、长角蛉等,属于完全变态的昆虫。这个目的成虫有两对膜状的的翅膀,前
- (+)ssRNA核糖核酸病毒(英语:RNA virus),又称RNA病毒,其遗传物质为RNA,这些核糖核酸通常是单链RNA(ssRNA),但是也可能是双链RNA(dsRNA)。由RNA病毒感染造成的著名人类疾病包括艾滋病(AIDS)、埃博
- 过氧化物酶过氧化物酶(EC编号 1.11.1.x)是很大的一族酶,它们通常催化一个下面形式的反应:这一类酶当中有很多酶的最理想底物为过氧化氢,还有一些则有机的氢过氧化物如过氧化脂类。过氧化物
- 世界旅游组织世界旅游组织(英语:World Tourism Organization,缩写UNWTO)是联合国下15个专门机构之一,成立的宗旨是促进和发展旅游事业以利于经济发展,总部设在西班牙马德里,现任秘书长是祖拉布
- 计划行为理论计划行为理论 (Theory of Planned Behavior,TPB) 是一个由Icek Ajzen所提出的行为决策模型,主要用以预测和了解人类的行为。计划行为理论的模型中主要由行为信念、行为态度、
- 自然资产自然资产,指由中央主管机关即行政院农业委员会依《文化资产保存法》审查指定的具保育自然价值之自然区域、地形、植物及矿物。依其性质,区分为自然地景及自然纪念物。自然地景
