例子在陈述自由变量和约束变量（或虚变量）的严格定义之前，我们会给出一些例子，使这两个概念比定义看起来更加清楚：在表达式中y是自由变量而x是约束变量（或虚变量）；因此这个表达式的值依赖于y的值。在表达式中x是自由变量而y是约束变量；因此这个表达式的值依赖于x的值。在表达式中y是自由变量而x是约束变量；因此这个表达式的值依赖于y的值。在表达式中x是自由变量而h是约束变量；因此这个表达式的值依赖于x的值。在表达式中z是自由变量而x和y是约束变量；因此这个表达式的真值依赖于z的值。变量约束算子下列的都是变量约束算子，它们都约束变量x。形式解释变量约束机制出现在数学、逻辑和计算机科学中的不同情况中，但是在所有情形下它们是其中的表达式和变量的纯粹语法性质。本节中我们用叶子节点是变量、函数常量或谓词常量，而节点是逻辑运算符的树，识别表达式来总结语法。变量约束的运算符是几乎出现在所有形式语言中的逻辑运算符...

命题的分类命题可依分析－综合、必然－偶然、先验－后验三大特性区分。传统哲学认为命题或为分析的、必然的、且先验的，或为综合的、偶然的、且后验的，但这些观点近来受到了一定程度的挑战。（注：以下命题后为"True"代表命题为真，"False"代表其为假）分析与综合分析真（假）的命题是纯粹基于语义为真（假）的命题；综合真（假）的命题则是并非纯粹基于语义为真（假）的命题。这是语义学的分类。分析命题范例如：单身汉都是未婚的（True）铅笔盒是用来装羽毛球的盒子（False）综合命题范例如：联合国成立于1945年（True）刘备的配偶为杨丞琳（False）必然与偶然必然真（假）的命题是在所有可能情况都为真（假）的命题；偶然真（假）的命题则是在现实世界为真（假）但有可能为假的命题。这是形而上学的分类。必然命题范例如：正方形的四个角都是直角（True）13的平方是15...

参阅正则变换洛伦兹协变性

参见变量单例模式局部变量参考资料WilliamWulfandMaryShaw,“GlobalVariableConsideredHarmful”,ACMSIGPLANNotices,volume8,issue2,1973February,pp.28–34.DraftANSICStandard(ANSIX3J11/88-090)(May13,1988),ThirdPublicReviewISO/IEC9899:1999ProgrammingLanguages--C.AmericanNationalStandardsInstitute.

参见关系(数学)布尔值函数