首页 >
∨
✍ dations ◷ 2025-11-27 16:35:24 #∨
逻辑或(logical or)又称逻辑析取(logical disjunction)、逻辑选言,是逻辑和数学概念中的一个二元逻辑算符。其运算方法是:如果其两个变量中有一个真值为“真”,其结果为“真”,两个变量同时为假,其结果为“假”。逻辑或是两个逻辑变量的一种运算,经常是两个命题的运算。它满足:当且仅当其两个变量的真值都为假时,其结果为假。A或B的真值表(也写作A
∨
{displaystyle lor }
B(逻辑学),A || B(计算机科学),或A + B(电子学))。逻辑或满足以下性质:逻辑或常在位运算中使用,比如:or运算符可以用来将比特域中的位设定为1,方法是把此域和一个各位均为1的常量域取逻辑或运算。x ∈ A ∪ B⇔( 当且仅当) (x ∈ A) ∨ (x ∈ B).就如其他在数理逻辑中形式化的概念一般,自然语言中的“或”和逻辑的“或”高度相关,但有差异。像例如在“你给我打电话,或者寄信给我”这例子中,其真实的意思往往是“你要不就给我打电话,要不就给我寄信,但不要同时寄信和打电话。”,也就是会排除掉两者皆成立的状况;在另一方面,在“小橘子姐姐开赛车的驾驶技术神乎其技,因此她很努力,或者她很有天分”这例子中,两者皆成立的状况通常并未排除。也就是说,在自然语言中,“或”可以指“逻辑或”,或者是“逻辑异或”。
相关
- 关节病变关节病变(英语:arthropathy)是关节疾病的总称。若一个或多个关节发炎引起的关节病变称为关节炎,因此,任何关节的问题,不论是否发炎,均可称为“关节病变”。脊椎关节病变是一种影响
- 软体动物疱疹病毒科软体动物疱疹病毒科(学名:Malacoherpesviridae)是疱疹病毒目的一个科,以软体动物为宿主,是该目中唯一感染无脊椎动物的类群,其学名来自希腊文的μαλάκιον(malakion),意指软体
- SV40SV40全名猿猴空泡病毒40(Simian vacuolating virus 40)或猿猴病毒40(Simian virus 40),是一种多瘤病毒,也是一种DNA病毒,有造成肿瘤发生的潜在能力,不过通常会维持于潜伏感染(latent
- 模因学模因学(或模因论)是一种基于类比达尔文进化论的视角来研究心智内容的学说,源自于理查德·道金斯于1976年出版的《自私的基因》一书。模因论旨探索文化信息传播的社会演化模型。
- 品红品红(英语:Fuchsine)有苯胺红基、一品红基、碱式一品红、玫苯胺盐酸盐等十几种别名。为一颜料,其溶入蒸馏水后通入二氧化硫所制得溶液称为希夫试剂,可用来检测醛类。在与显微镜标
- 血友病血友病多数是遗传性的疾病,造成人体无法凝血形成血块来止血。这致使病人受伤后流血时间更长,易于淤青,和增加关节积血或脑出血的几率。病情轻微的病人可能只有在意外或是手术时
- 花粉粒花粉(pollen)是种子植物的微小孢子堆,成熟的花粉粒实为其小配子体,能产生雄性配子。花粉由雄蕊中的花药产生,由各种方法到达雌蕊,使胚珠授粉。花粉通常是对称的,多为球形;大叶藻(Zost
- 构拟历史语言学(英语:historical linguistics),亦称越时语言学或历时语言学(diachronic linguistics)、演化语言学,是由弗迪南·德·索绪尔创立的一门研究语言变化的学科,主要研究语言在
- 尤皮克语尤皮克语(Yupik),阿拉斯加中西部和西伯利亚东北部尤皮克人所使用的语言,属于爱斯基摩-阿留申语系爱斯基摩语族。公元前2000年左右,阿留申语与爱斯基摩语开始分化。1000左右,尤皮克
- 与厕所相关的伤害或死亡有史以来,在众多的都市传奇中都存在与马桶有关的创伤与死亡事件。对于小男孩来说,最常见的生殖器创伤发生在他们站在马桶前而马桶圈掉落下来的情况下。 更小的孩子如果头部先
