介入新的函数符号在允许介入新的谓词符号的谓词逻辑系统中，你可能也想介入新的函数符号。从旧的函数符号介入新的函数符号是容易的；给定函数符号F和G，有一个新函数符号FoG，它是F和G的复合，对于所有x，满足(FoG)(x)=F(G(x))。当然，等式的右边在有类型的逻辑中没有意义，除非F的域类型匹配G的陪域类型，这是定义复合的要求。你还自动的获得特定的函数符号。在无类型逻辑中，有一个恒等谓词id，对于所有X满足id(x)=x。在有类型逻辑中，给定任何类型T，有一个恒等谓词idT，带有域和陪域类型T；对于类型T的所有x，它满足idT(x)=x。类似的，如果T是U的一个子类型，则有一个域类型T和陪域类型U的包含谓词，它满足相同的等式；有与从旧类型构造新类型的其他方式相关联的额外的函数符号。此外，你可以在证明了适当的定理之后定义泛函谓词。(如果你在证明了定理之后不允许介入新符号的形式系统下工作，那么...

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

概论逻辑（英语：logic）的字根源起于希腊语逻各斯（希腊语：λόγος），最初的意思有词语、思想、概念、论点、推理之意。后译为（法语：logique），最后发展为英文中的逻辑（英语：logic）。1902年严复译《穆勒名学》时，将其意译为“名学”，但这不合名家或者名教之名学中“名”的本意。和制汉语采用汉字“论理”，意译为“论理学”。孙文于其文《治国方略·以作文为证》意译为“理则”，当代中文一般采取音译方式，将其译为逻辑。逻辑本身是指是推论和证明的思想过程，而逻辑学是研究“有效推论和证明的原则与标准”的一门学科。作为一个形式科学，逻辑透过对推论的形式系统与自然语言中的论证等来研究并分类命题与论证的结构。逻辑的范围是非常广阔的，从对谬论与悖论的研究之类的核心议题，到利用概率来推论及包含因果论的论证等专业的推理分析。逻辑在今日亦常被使用在论辩理论之中。传统上，逻辑被作为哲学的一个分支来研究，和...

符号表同步型4比特计数器(74LS192)以ANSI/IEEEStd.91-1984和IECPublication60617-12表示常用的逻辑门有两种常用的表示法，他们皆由ANSI（美国国家标准协会）／IEEE（电机电子工程师学会）Std91-1984跟作为其补充的ANSI／IEEEStd91a-1991。“特殊形状符号”是用过去电路简图为基础以及50年代、60年代MIL-STD-806作衍生；有时也被描述成“军事”，而这个也反映了它的起源。“IEC矩形国标符号”是以ANSIY32.14跟一些早期工业用的符号为基础，再重新由IEEE跟IEC（国际电工委员会）做微调而成；在每个符号中皆可以发现有矩形的外框围着所代表的字，且相较于旧的表示法，他可以涵盖更多的逻辑门。ICE的标准也被转换成其他的表示法，像是欧洲的EN（英语：EuropeanCommitteeforStandardization...

作者简介乔治·威廉·弗里德里希·黑格尔（GeorgWilhelmFriedrichHegel，1770年8月27日－1831年11月14日），德国哲学家，出生于今天德国西南部巴登-符腾堡首府斯图加特。18岁时，他进入蒂宾根大学（巴登-符腾堡的一所新教神学院）学习，在那里，他与荷尔德林、谢林成为朋友，同时，为斯宾诺莎、康德、卢梭等人的著作和法国大革命深深吸引。许多人认为，黑格尔的思想，象征着了19世纪德国唯心主义哲学运动的顶峰，对后世哲学流派，如存在主义和马克思的历史唯物主义都产生了深远的影响。更有甚者，由于黑格尔的政治思想兼具自由主义与保守主义两者之要义，因此，对于那些因看到自由主义在承认个人需求、体现人的基本价值方面的无能为力，而觉得自由主义正面临挑战的人来说，他的哲学无疑是为自由主义提供了一条新的出路。书中核心观点本书中黑格尔所探讨的内容，只是关于黑格尔哲学中逻辑学的相关内容，是研究理