Multigrade operator

A multigrade operator $\mathrm{\Omega }$ is a parametric operator with parameter $k$ in the set $\mathbb{\mathbb{N}}$ of non‑negative integers.

The application of a multigrade operator $\mathrm{\Omega }$ to a finite sequence of operands $(x_1,\dots ,x_k)$ is typically denoted with the parameter $k$ left tacit, as the appropriate application is implicit in the number of operands listed.  Thus $\mathrm{\Omega }(x_1,\dots ,x_k)$ may be taken for ${\mathrm{\Omega }}_k(x_1,\dots ,x_k).$

Resources

• Logic Syllabus

Document history

Portions of the above article were adapted from the following sources under the GNU Free Documentation License, under other applicable licenses, or by permission of the copyright holders.

• Multigrade Operator, InterSciWiki
• Multigrade Operator, Wikiversity
• Multigrade Operator, Wikipedia