Search results
Results from the WOW.Com Content Network
P n 0, P n 1, P n 2, P n 3, ... For every integer n ≥ 0, there are infinitely many n-ary function symbols: f n 0, f n 1, f n 2, f n 3, ... When the arity of a predicate symbol or function symbol is clear from context, the superscript n is often omitted. In this traditional approach, there is only one language of first-order logic. [13]