0

1) y = x + 1

It seems like even though the above has both "=" and "+", there are only two variables, so the relation would be a binary one, where as...

2) z = x + y

has 3 variables so there is a tertiary relation.

Is this sensible or am I missing someone fundamental?

csp2018
  • 401

2 Answers2

1

makes sense. (1) relates 2 quantities but (2) relates 3 different ones...

gt6989b
  • 54,422
1

While $z=x+y$ is a boolean function of three variables, currying $y=1$ gets the two-variable function $z=x+1$. These facts identify such functions' minimal arities (the implementation of them might increase arity with unused arguments, e.g. def f(x, y, z, a): return z==x+y in Python has arity $4$).

J.G.
  • 115,835