• 在命题逻辑和逻辑代数中,定律(英語:De Morgan's laws,又称笛定理、第定律、对偶律等)是关于命题逻辑规律的一对法则。 19世纪英国数学家奥古斯塔斯·首先发现了在命题逻辑中存在着下面这些关系: ¬ ( p ∧ q ) ≡ ( ¬ p ) ∨ ( ¬ q ) {\displaystyle...
    6 KB (1,098 words) - 02:31, 11 February 2025
  • 奥古斯塔斯·(Augustus De Morgan,1806年6月27日—1871年3月18日,英语发音[ɔːˈgʌstəs də ˈmɔːgən]),英国数学家及逻辑学家。他明确陈述了定律,将数学归纳法的概念严格化。他生前多以报刊评论员的身份而知名。 他生於印度馬...
    8 KB (749 words) - 17:07, 5 March 2025
  • 定律(英語:Moore's law)是指集成电路上可容纳的晶体管数目,每隔约兩年便会增加一倍,由快捷半导体和英特尔创始人之一戈登·尔(Gordon Earle Moore)提出。而经常被引用的“18个月”,則是由英特尔首席执行官大衛·豪斯(David House)提出:预计18个月会将芯片的性...
    12 KB (1,519 words) - 05:43, 19 February 2025
  • 無矛盾律,與排中律和同一律同屬於三大傳統思維規律。在定律中,無矛盾律等同於排中律。不過,沒有任何邏輯體系僅僅建立三條規律之上,而且也沒有任何其中之一的規律可以得出諸如定律與肯定前件這樣的推理規則。 無矛盾律和排中律創造了「邏輯空間」中的二分法——「空間」...
    3 KB (486 words) - 07:31, 23 January 2024
  • {\displaystyle P=ND}   古典邏輯中的「與」、「或」兩個操作皆滿足定律,即 p∧q≡¬(¬p∨¬q) 以及其對偶 p∨q≡¬(¬p∧¬q))。向量邏輯的相關操作亦可被證實為滿足定律: C ( u ⊗ v ) = N D ( N u ⊗ N v ) {\displaystyle...
    15 KB (2,774 words) - 14:39, 26 September 2021
  • 自由组合律主要针对非同源染色体上的非等位基因的遗传规律。但许多基因位于同一染色体上,这一现象称为基因连锁。 1909年美国遗传家及其学生在孟定律基础上,利用果蝇进行的杂交实验,揭示了位于同源染色体上不同位置的两对以上等位基因的遗传规律——连锁与互换规律。...
    3 KB (237 words) - 21:53, 25 February 2023
  • A\lor (B\land (C\lor D))} 一个 OR 嵌套在一个 AND 中 把公式转换成 DNF 要使用逻辑等价,比如双重否定除去、·定律和分配律。注意所有逻辑公式都可以转换成析取范式。但是,在某些情况下转换成 DNF 可能导致公式的指数性爆涨。例如,在 DNF 形式下,如下逻辑公式有...
    2 KB (286 words) - 15:14, 22 July 2024
  • {\displaystyle A} 和 B {\displaystyle B} 是全集 U {\displaystyle U} 的子集,则下列恒等式成立: 定律: ( A ∪ B ) ∁ = A ∁ ∩ B ∁ {\displaystyle (A\cup B)^{\complement }=A^{\complement...
    4 KB (627 words) - 07:16, 30 June 2024
  • (布尔代数) 特征函数 紧致性定理 完全布尔代数 · ·定律 对偶性 (序理论) 实体图 存在图 一阶逻辑 形式系统 自由布尔代数 Heyting代数 指示函数 内部代数 威廉姆·斯坦利·杰文斯 Johnston图 卡诺图 形式定律 Lindenbaum–Tarski代数 逻辑门 逻辑连结词...
    1 KB (170 words) - 04:15, 1 November 2022
  • (B\vee D)\wedge (B\vee E)} 所有命题公式都可以转换成 CNF 的等价公式。这种变换基于了关于逻辑等价的规则: 双重否定律、·定律和分配律。 因为所有逻辑公式都可以转换成合取范式的等价公式,证明经常基于所有公式都是 CNF 的假定。但是在某些情况下,这种到 CNF...
    2 KB (404 words) - 15:14, 22 July 2024
  • 連接在一起形成“线与(wired AND)”(正邏輯,即高电平代表真)或“線或(wired OR)”(負邏輯,低电平代表真)。线或的原理可通过简单的分析得知,也可由定律证明。 OC 唯一的問題就是功率耗損。因為這樣的組態往往需要較高的電流才能正確的工作,即使在關閉的狀態,也通常會有幾個 nA 的洩漏電流,更不用说输出侧上拉电阻所带来的损耗。...
    3 KB (474 words) - 06:20, 23 July 2020
  • 对偶空间,任何向量空間V都有其對應的對偶向量空間(或簡稱為對偶空間),由V的線性泛函組成 对偶多面体,幾何學中,若一種多面體的每個頂點均能對應到另一種多面體上的每個面的中心,它就是對方的對偶多面體 对偶律,又稱定律,是關於命題邏輯規律的一對法則 标题以「对偶」開頭的所有条目 标题以「對偶」開頭的所有条目...
    863 bytes (142 words) - 03:48, 28 October 2020
  • 和空集、对有限交(或有限并)和余集运算封闭的 Ω {\displaystyle \Omega } 的子集类,这两者是等价的。 无论从哪个定义出发,利用定律和集合交与并运算的分配律,都可列出代数具有如下性质:空集和全集是它的元素、对有限并和有限交封闭、对补集运算封闭、对差集运算封闭。...
    4 KB (642 words) - 04:23, 9 June 2025
  • 演绎推理(英語:Deductive Reasoning)、正向推理在传统的亚里士多逻辑中是「结论,可从叫做‘前提’的已知事实,‘必然地’得出的推理」。如果前提为真,则结论必然为真。这区别于溯因推理和归纳推理:它们的前提可以预测出高概率的结论,但是不确保结论为真。...
    13 KB (687 words) - 17:40, 22 June 2025
  • \{x\wedge y:y\in Y\}} 对于任何H中的元素x和任何H的子集Y。 不是所有海廷代数都满足两个·定律。但是,对于所有海廷代数H下列陈述都是等价的: H满足两个·定律。 ¬ ( x ∧ y ) = ¬ x ∨ ¬ y {\displaystyle \lnot (x\wedge...
    12 KB (1,827 words) - 07:12, 27 October 2022
  • {\displaystyle A} 和 B {\displaystyle B} 的所有可能真值生成相同真值,它们分别是逻辑等价的,并可相互代换。这种等价是·定律中的。 A ∨ B (还写为 A ⊕ B {\displaystyle A\oplus B} 或 A ≠ B {\displaystyle A\neq...
    10 KB (916 words) - 18:01, 2 March 2025
  • 羅設計的圖哈特別墅在2002年被列入世界文化遺產。在布尔诺的聖湯瑪斯修道院,遗传学家孟尔完成了豌豆花杂交实验,提出了遗传学定律。 遺傳學的奠基人孟爾自1854年在這裡工作,並在這裡去世。 著名作家米蘭·昆拉、數學家哥爾、建築師阿多夫·洛斯在這裡出生。 AZ大廈...
    13 KB (1,057 words) - 01:54, 15 June 2025
  • 弗雷格的概念文字。 Clarence Irving Lewis的真势模态逻辑的系统S1-S5。 直觉逻辑和多值邏輯拒绝排中律和·定律; 次协调逻辑(比如:双面真理论和相干逻辑)拒绝无矛盾律; 相干逻辑、线性逻辑和非单调逻辑拒绝蕴涵的单调性; 线性逻辑拒绝蕴涵的幂等律;...
    7 KB (937 words) - 15:24, 5 March 2025
  • 当时,许多 基于计算机的 逻辑最小化 的工具,我们今天有但是那时并不存在。因此,逻辑最小化是大部分限于使用 卡诺图 和 定律 中。 因此,查尔斯·L·理查发明了一种方法来实施有限状态机,并不需要一个明确的状态转移表。他发表了他的调查结果在二月1973年的《電子學(英语:Electronics...
    3 KB (587 words) - 08:17, 31 December 2018
  • 因的影响,而这些其他等位基因可能位于别的染色体上。 遗传连锁是孟定律最明显的例外。首个证实存在遗传连锁的实验完成于1905年。当时,人们还不知道为什么某些性状会共同遗传。后来的研究揭示了基因是与物理距离相关的物理结构。 一般用厘(cM)单位来衡量遗传连锁的程度。两个遗传标记之间的距离为1...
    8 KB (1,035 words) - 21:53, 25 February 2023
  • (A\land B)\Leftrightarrow (\lnot A\lor \lnot B)} (若非A且B皆為真,則非A或非B為真,反之亦然):此即定律 ( ( A → B ) ∧ ( B → C ) ) → ( A → C ) {\displaystyle ((A\to B)\land (B\to...
    4 KB (737 words) - 04:20, 10 January 2024
  • 查 论 编 集合论 公理 选择 可数 依賴 外延 无穷 配对 幂集 正则性 并集 马丁公理 公理模式 替代 分类 运算 笛卡儿积 定律 交集 冪集 补集 对称差 并集 概念 方法 势 基数(大基数) 类 可构造全集(英语:Constructible universe) 连续统假设 對角論證法...
    4 KB (802 words) - 14:46, 19 October 2024
  • U V W X Y Z 参见 阿伏伽定律——物理定律 阿伏伽罗常数——描述物質粒子數的一個常數 阿伦尼乌斯方程 锕系——15種放射性元素的統稱 氨——氮与氢的化合物;化学式NH3 氨基——化學分子 氨基酸——生物學上重要的有機化合物 铵——阳离子(铵) 胺——化學分子 苯——有機化合物 苯环——有機化合物...
    8 KB (1,248 words) - 15:32, 30 June 2025
  • 洛伦兹力 马格努斯效应 马赫数 马堡半球实验 麦克斯韦方程组 麦克斯韦统计 麦克斯韦妖 米(单位) 米散射 密度 密立油滴实验 秒 秒差距 谬子 摩擦力 摩擦起电 摩擦系数 尔(单位) 尔质量 马力 纳米材料 纳米科学 纳维-斯托克斯方程 挠度 能量 能量守恒定律 内能 黏度(粘滞系数) 凝固...
    13 KB (1,528 words) - 04:45, 30 June 2025
  • 马克斯·普朗克 (category 哥廷大學教師)
    disorder),並把瑞利-金斯定律和维恩位移定律这两条定律使用一种熵列式进行内插,由此发现了普朗克辐射定律,可以很好地描述测量结果;不久後,人們發現他的這項新理論沒有實驗證據,也讓普朗克在當時感到稍稍的無奈。可是他並沒有因此而氣餒,反而修正了自己的方式,最後成功推衍出著名的第一版普朗克黑體輻射定律,此定律...
    33 KB (4,928 words) - 12:51, 27 April 2025
  • 上使用:例如,唯讀記憶體集成电路可能具有低电平有效的片选信号,但数据和地址位通常为高电平有效。通过反转啟用电平的选择来简化逻辑设计亦屬慣例(参见定律)。 在進行邏輯設計時,人們會在低电平有效信号的名称加上上劃線,以将其与高电平有效信号区分开来。例如,名称Q ,读作“Q bar”或“Q not”,表示低电平有效信号。常用的约定有:...
    10 KB (1,170 words) - 02:32, 18 December 2024
  • \{0,1\}^{\leq p(|x|)}\right)\langle x,w\rangle \in L\right.\right\}} 注意到由定律得出 ( ∃ p L ) c = ∀ p L c {\displaystyle \left(\exists ^{p}L\right)^{\rm {c}}=\forall...
    11 KB (2,238 words) - 21:06, 12 January 2025
  • Bernoulli,1700年2月8日—1782年3月17日),生於荷兰格罗宁,著名瑞士數學家,约翰·伯努利之子,為伯努利家族代表人物之一。其伯努利定律适用于沿着一条流线的稳定、非粘滞、不可压缩流,在流体力学和空气动力学中有关键性的作用。 丹尼尔·伯努利出生于荷兰的格罗宁,但一生大部分时间居住在瑞士巴塞尔。他是约翰·伯努...
    6 KB (865 words) - 14:10, 4 June 2025
  • 查 论 编 集合论 公理 选择 可数 依賴 外延 无穷 配对 幂集 正则性 并集 马丁公理 公理模式 替代 分类 运算 笛卡儿积 定律 交集 冪集 补集 对称差 并集 概念 方法 势 基数(大基数) 类 可构造全集(英语:Constructible universe) 连续统假设 對角論證法...
    4 KB (625 words) - 02:14, 3 July 2025
  • ℵ α + 1 . {\displaystyle 2^{\aleph _{\alpha }}=\aleph _{\alpha +1}.} 庫爾特·哥尔在1940年用内模型法证明了连续统假设与ZFC的相对协调性(無法以ZFC證明為誤),保羅·柯恩在1963年用力迫法证明了连续统假设不能由ZFC推导。也就是说连续统假设独立於ZFC。...
    19 KB (2,328 words) - 20:56, 1 October 2024
  • 查 论 编 集合论 公理 选择 可数 依賴 外延 无穷 配对 幂集 正则性 并集 马丁公理 公理模式 替代 分类 运算 笛卡儿积 定律 交集 冪集 补集 对称差 并集 概念 方法 势 基数(大基数) 类 可构造全集(英语:Constructible universe) 连续统假设 對角論證法...
    2 KB (383 words) - 06:26, 26 January 2025