引用ArticleonlogicalconstantsattheStanfordEncyclopediaofPhilosophy;Weblogentry"Howmanyistwo?"byAndrejBauer（英语：AndrejBauer）discussingtherelationshipbetweentruthvaluesinintuitionisticlogicandtopostheoryontheonehandandclassicallogicontheother.参见逻辑连结词真值表真值函数

否定在布尔逻辑系统中，所有运算符都能以这种方式明确的定义。例如NOT（¬）关系定义如下：逻辑合取例如，采用两个命题变量，A{\displaystyleA}和B{\displaystyleB}和逻辑运算符"AND"（∧），表示合取"A与B"或A{\displaystyleA}∧B{\displaystyleB}。在普通英语中，如果A和B都是真的，那么合取"A{\displaystyleA}∧B{\displaystyleB}"是真的；在所有的对A{\displaystyleA}∧B{\displaystyleB}的真值的可能指派，合取都是假的。这种联系定义如下：逻辑析取OR(∨)关系定义如下：逻辑与非可以构造复合的表达式，使用圆括号来指示优先级。合取的否定¬（A{\displaystyleA}∧B{\displays...

定义ΓΓ-->{\displaystyle\Gamma\,}函数可欧拉过欧拉（Euler）第二类积分定义：对复数z{\displaystylez\,}，我们要求Re(z)>0{\displaystyle\mathrm{Re}(z)>0}。ΓΓ-->{\displaystyle\Gamma}函数还可以通过对e−−-->t{\displaystyle\mathrm{e}^{-泰勒\,}做泰勒展开，解析延拓到整个复平面：ΓΓ-->(z)=∫∫-->1∞∞-->tz−−-->1etdt+∑∑-->n=0∞∞-->(−−-->1)nn!1n+z{\displaystyle\Gamma(z)=\int_{1}^{\infty}{\frac{t^{z-1}}{\mathrm{e}^{t}}}{\rm{d}}t+\sum_{n=0}^...

定义函数f的部分图像。每个实数的x都与f（x）=x−9x相联系。从输入值集合X{\displaystyleX}到可能的输出值集合Y{\displaystyleY}的函数f{\displaystylef}（记作f:X→→-->Y{\displaystylef:X\toY}）是X{\displaystyleX}与Y{\displaystyleY关系的关系，满足如下条件：f{\displaystylef}是完全的：对集合X{\displaystyleX}中任一元素x{\displaystylex}都有集合Y{\displaystyleY}中的元素y{\displaystyley}满足xfy{\displaystylexfy}（x{\displaystylex}与y{\displaystyley}是f{\displaystylef}相关的）。即，对每一个输入值，y{\displaystyle...

简单系统的的热力学函数简单热力学系统(如量子、经典气体系统)一般具有以下热力学函数，可以任意选取其中两个作为独立变量：量纲（单位）不是能量的热力学函数量纲（单位）是能量的热力学势热力学势上面给出的热力学函数中，后四个具有能量的量纲，单位都为焦耳，这四个量通常称为热力学势。其中，具有广义力和广义位移Xi{\displaystyleX_{i}}xi{\displaystylex_{i}}热力学系统，内能U{\displaystyleU}的微分式可从热力学第一定律得知：公式内的U、S和V是热力学的状态函数，也可用于非平衡、不可逆的过程。其余三个热力学势可经由勒让德变换(Legendretransform)转换自变数而得到。通过对以上微分表达式求偏导，可以得到T，S，P，V四个变量的偏导数间的“麦氏关系”相关条目热力学势参考Alberty,R.A.UseofLegendretransformsin...