Arity

From Maths
Revision as of 15:10, 15 December 2017 by Alec (Talk | contribs) (Created page with "==Definition== The arity of a function or {{link|predicate symbol|FOL}} is the number of parameters it takes. ==Examples== If we write {{M|f(x,y)}} then {{M|f}} is a 2-ar...")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Definition

The arity of a function or predicate symbol is the number of parameters it takes.

Examples

If we write [ilmath]f(x,y)[/ilmath] then [ilmath]f[/ilmath] is a 2-ary function.

References

Grade: D
This page requires references, it is on a to-do list for being expanded with them.
Please note that this does not mean the content is unreliable, it just means that the author of the page doesn't have a book to hand, or remember the book to find it, which would have been a suitable reference.
The message provided is:
Not important Alec (talk) 15:10, 15 December 2017 (UTC)