Judgment form

Synonymous with an n-place relation. For a unary relation/predicate, a judgment form is usually written as $\begin{array}{l}J\\ -\end{array}$ or $\begin{array}{l}-\\ J\end{array}$, with $-$ being a placeholder for some value drawn from the domain of the pr

Synonymous with an n-place relation. For a unary relation/Predicate, a judgment form is usually written as $J-$ or $-J$, with $-$ being a placeholder for some value drawn from the domain of the predicate.