Proposition 32: If a predicate with expression \sim has exactly two parameters then given variables x and y we shall often write (x \sim y) \hspace{3mm} \textup{in place of} \hspace{3mm} {\sim}(x, y). We refer to such a predicate a binary predicate.
A theoretical quest.
Proposition 32: If a predicate with expression \sim has exactly two parameters then given variables x and y we shall often write (x \sim y) \hspace{3mm} \textup{in place of} \hspace{3mm} {\sim}(x, y). We refer to such a predicate a binary predicate.