Lukas' Notes

Home

❯

Knowledge

❯

Arity

Arity

Jul 25, 20251 min read

logic

Definition

Arity

Arity refers to the number of arguments a function,
a predicate, or an operator
takes in a formal languages.

Example: f/2 means that f takes in two arguments.


Graph View

Backlinks

  • First-Order Logic
  • Term Language

Created with Quartz v4.4.0 © 2025

  • GitHub