Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Is there such a thing as unary (as opposed to binary, ternary, …, n-ary) logic?
cf. Is there any reason for the heavy focus on binary relations in formal logic?
Required, but never shown