Difference between revisions of "Arity"
From Maths
(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...") |
(No difference)
|
Latest revision as of 15:10, 15 December 2017
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.