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年夏季，于苏格兰 珀斯郡（今珀斯-金罗斯 ）的榭赫伦山附近进行。这项实验的主要用具是摆 ，借由附近的山会对摆产生引力 的现象，于是当摆运动时，靠近山的一边会有微小的偏角，也正为实验所求。实验中摆角偏移的大小，取决于地球与山的相对密度 和体积 ；因此，若可以确定榭赫伦山的密度，那么，其结果便能确定地球的密度。由于当时已经确定太阳系 中各天体 的密度的相对比值，所以只要知道地球的密度，科学家们就能估计出太阳系内各天体的密度近似值。于是，这项实验产生了第一组天体密度数值。
疏散星团 引力 联系的恒星 所组成的天体 ，直径一般不过数十光年 。疏散星团中的恒星密度不一，但与球状星团 中恒星高度密集相比，疏散星团中的恒星密度要低得多。疏散星团只见于恒星活跃形成的区域，包括漩涡星系 的旋臂和不规则星系 。疏散星团一般来说都很年轻，只有数百万年历史。较年轻的疏散星团可能仍然含有形成时分子云 的残迹，星团产生的光使其形成电离氢区 。由于星团成员的引力关联不太强，在绕漩涡星系公转 数周后，可能会因周遭天体引力影响而四散。由于疏散星团在一块相对较小的区域中包含几百颗甚至上千颗颜色、亮度不同的恒星，它们对天文爱好者来说是很好的观测目标。
