A function expression consists of a

A function expression consists of a function constant of arity n, followed by n terms, t1 ,t2,…tn, enclosed in parentheses and separated by commas. A predicate calculus term is either a constant, variable, or function expression

Kết quả (Việt) 1:

Một biểu hiện chức năng bao gồm một hằng số chức năng của arity n, tiếp theo điều khoản n, t1, t2,... tn, đính kèm trong dấu ngoặc đơn và cách nhau bằng dấu phẩy. Một thuật ngữ predicate tính toán là một hằng số, biến, hoặc biểu hiện chức năng

Kết quả (Việt) 2:

Một biểu hiện chức năng bao gồm một hằng số chức năng của arity n, tiếp theo là n khoản, t1, t2, ... tn, trong dấu ngoặc đơn và cách nhau bằng dấu phẩy. Một thuật ngữ vị ngữ tính toán hoặc là một, biến đổi, hoặc biểu hiện chức năng liên tục