A
∧
(
B
∧
C
)
t
r
u
e
B
∧
C
t
r
u
e
B
t
r
u
e
∧
E
1
∧
E
2
{\displaystyle {\cfrac {A\wedge \left(B\wedge C\right)\ true}{{\cfrac {B\wedge C\ true}{B\ true}}\wedge E_{1}}}\wedge E_{2}}
自然演繹 是數理邏輯 中證明論 中嘗試提供像「自然」發生一樣的邏輯推理形式模型的一種方式。這種方式是與使用公理 的公理系統 相對的方式。自然演繹來源自對共通於弗雷格 、羅素 和希爾伯特 系統的命題邏輯 公理化（希爾伯特演繹系統 ）的不滿。這種公理化最着名使用是在羅素 和懷特海 的《數學原理 》的數學論述中。在1926年 由揚·武卡謝維奇 在波蘭發起的一系列研討會提倡一種對邏輯的更加自然處理，斯坦尼斯瓦夫·亞希科夫斯基 做了定義更自然的演繹的最早嘗試。他在1929年 首先使用了一種圖表表示法，並在1934年 和1935年 的一序列論文中更改了他的提議。但是他的提議沒有流行起來。
拉普拉斯方程 偏微分方程 。因為由法國數學家皮埃爾-西蒙·拉普拉斯 首先提出而得名。求解拉普拉斯方程是電磁學 、天文學 和流體力學 等領域經常遇到的一類重要的數學問題，因為這種方程以勢函數的形式描寫了電場 、引力場 和流場等物理對象（一般統稱為「保守場」或「有勢場」）的性質。拉普拉斯方程的解稱為調和函數，此函數在方程成立的區域內是解析的 。任意兩個函數，如果它們都滿足拉普拉斯方程（或任意線性微分方程），這兩個函數之和（或任意形式的線性組合）同樣滿足前述方程。這種非常有用的性質稱為疊加原理 。可以根據該原理將複雜問題的已知簡單特解組合起來，構造適用面更廣的通解。
夸克 基本粒子 ，也是構成物質 的基本單元。夸克互相結合，可以形成稱為「強子 」的複合粒子 ，強子中最穩定的是質子 和中子 ，它們是構成原子核的單元。夸克由於受到「夸克禁閉 」，不能夠直接被觀測到或是被分離出來，只能在強子內發現。也就是因為這個原因，人們對夸克的認識大多是來自對強子的研究。夸克被劃分為六「味 」，分別是上夸克 、下夸克 、粲夸克 、奇夸克 、底夸克 及頂夸克 。上夸克及下夸克的質量是所有夸克中最低的。較重的夸克會通過一個叫粒子衰變 的過程，迅速地變成上或下夸克。但上夸克及下夸克一般來說都很穩定，所以它們在宇宙 中很常見，而較重的夸克則只能經由高能 粒子的碰撞產生。
超價分子 主族元素 形成，而且中心原子價層電子 數超過8的一類分子 。例如五氯化磷 、六氟化硫 、磷酸根 離子、三氟化氯 以及三碘陰離子 都是典型的超價分子。八隅體規則 的例外主要有三種，缺電子分子、奇電子分子和超價分子。利用分子軌道理論 可以很好地解釋前兩種分子，然而對於超價分子，不但結構沒有得到公認的解釋，甚至定義都處於爭論之中。超價分子的概念最早由傑里米·穆舍爾 在1969年正式提出，他定義以VA族到0族元素為中心原子 ，而且中心原子氧化態 比最低氧化態低的分子為超價分子。超價分子的N-X-L命名法在1960年提出，經常用於區分超價分子中心原子所在主族。關於超價分子本質和分類方法的爭論可追溯到20世紀20年代，即路易斯和蘭米爾時期關於化學鍵 本質的爭論。
榭赫倫實驗 平均 密度 的實驗 。是次實驗的資金由皇家學會 提供，而主實驗是在1774年夏季，於蘇格蘭 珀斯郡（今珀斯-金羅斯 ）的榭赫倫山附近進行。這項實驗的主要用具是擺 ，藉由附近的山會對擺產生引力 的現象，於是當擺運動時，靠近山的一邊會有微小的偏角，也正為實驗所求。實驗中擺角偏移的大小，取決於地球與山的相對密度 和體積 ；因此，若可以確定榭赫倫山的密度，那麼，其結果便能確定地球的密度。由於當時已經確定太陽系 中各天體 的密度的相對比值，所以只要知道地球的密度，科學家們就能估計出太陽系內各天體的密度近似值。於是，這項實驗產生了第一組天體密度數值。
疏散星團 引力 聯繫的恆星 所組成的天體 ，直徑一般不過數十光年 。疏散星團中的恆星密度不一，但與球狀星團 中恆星高度密集相比，疏散星團中的恆星密度要低得多。疏散星團只見於恆星活躍形成的區域，包括漩渦星系 的旋臂和不規則星系 。疏散星團一般來說都很年輕，只有數百萬年歷史。較年輕的疏散星團可能仍然含有形成時分子雲 的殘跡，星團產生的光使其形成電離氫區 。由於星團成員的引力關聯不太強，在繞漩渦星系公轉 數周后，可能會因周遭天體引力影響而四散。由於疏散星團在一塊相對較小的區域中包含幾百顆甚至上千顆顏色、亮度不同的恆星，它們對天文愛好者來說是很好的觀測目標。
