介入新的函数符号.在允许介入新的谓词符号的谓词逻辑系统中，你可能也想介入新的函数符号。从旧的函数符号介入新的函数符号是容易的；给定函数符号 "F" 和 "G"，有一个新函数符号 "F" "G"，它是 "F" 和 "G" 的复合，对于所有"x"，满足 ("F" "G")("x") = "F"("G"("x"))。当然，等式的右边在有类型的逻辑中没有意义，除非 "F" 的域类型匹配 "G" 的陪域类型，这是定义复合的要求。你还自动的获得特定的函数符号。在无类型逻辑中，有一个恒等谓词