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

相关

  • 颈部颈(neck),又称脖子,是身体的一部分,通常指在生物中,身体连接头和躯干之间的那一部分。假如颈部被折断,该生物便会死亡。颈头钮 别称-颈喉钮 通常别人称恤衫最顶的那一钮叫颈头钮人
  • 共祖共同起源(英语:Common descent)是指一群生物体拥有最近共同祖先的情况。所有地球上的生命都源于最后共同祖先或最后共同祖先基因池。在演化生物学中,一群生物的某个共有的性状如
  • 盘菌纲盘菌纲(英文:Pezizomycetes)是一个隶属于真菌下子囊菌门的一个纲。医学导航 · 真菌病真菌 · 分类疾病药物(抗真菌药)
  • 盐可以指:
  • 圣多明哥圣多明各或圣多明戈(西班牙语:Santo Domingo),全名古斯曼的圣多明各(Santo Domingo de Guzmán),当地汉语人士又称之为多京,位于多米尼加共和国的国家特区内,为多米尼加的首都。圣多
  • 费尔巴哈路德维希·安德列斯·费尔巴哈(德语:Ludwig Andreas von Feuerbach,1804年7月28日-1872年9月13日),德国哲学家。出生于拜仁州(巴伐利亚)下拜恩区的首府兰茨胡特,逝于同一州的纽伦堡,是
  • 目的论论证目的论论证 (Teleological Argument) 是证明上帝存在的一种理论,属于后验性的证明方式,又可称作设计论证。该理论最早由古希腊哲学家苏格拉底提出。后世的神学家托马斯·阿奎
  • 语文学语文学(英语:Philology,全称语言文字学,又称文献学),是语言学的一个分支,有时作为历史语言学(英语:Historical Linguistics)的同义词, 偏重从文献角度研究语言和文字。汉语语文学一般
  • 轻重音重读(stress)和重音(accent)在语言学中有时是接近同义的概念,皆指某音节在单字中或单字在句子中相对突显(prominent)的意思,不过在一些特别区分上,重音(accent)常常被应用在声音听觉
  • 齿龈边音齿龈边音(alveolar lateral approximant、dental, alveolar and postalveolar lateral approximants)是辅音的一种,用于一些口语中。齿龈边音、齿边音、和齿龈后边音在国际音标