from Wiktionary, Creative Commons Attribution/Share-Alike License

  • adj. Consisting of or involving a single element or component.
  • adj. Of an operation, function, procedure, or logic gate, taking exactly one operand, argument, parameter, or input; having domain of dimension 1.
  • n. The unary numeral system; the bijective base-1 numeral system.
  • n. Unary coding, an entropy encoding for natural numbers.

from WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved.

  • adj. consisting of or involving a single element or component


from Wiktionary, Creative Commons Attribution/Share-Alike License

Late Latin unarius ("consisting of a single thing"), from unus ("one").


  • You get one guess as to what the unary influence resulting in this policy is.

    Muslims Try to Shut Down Property Rights of Tennessee Neighbor - Warner_Todd_Huston’s blog - RedState

  • Three unary propositional functions are defined, one corresponding to classical negation, as well as seven binary functions, including classical disjunction, conjunction and equivalence.

    Hans Reichenbach

  • For example, if a unary function is considered as a set of ordered pairs, then the domain and codomain are given by the first and second projections, respectively.

    Combinatory Logic

  • Thus, without loss of generality, it is sufficient to consider unary functions.

    Combinatory Logic

  • There are 3 types of messages - unary, binary and keyword

    Archive 2007-09-01

  • It has as individual constant only the symbol 0 for zero; its only function symbols is the unary successor symbol S; addition and multiplication are expressed by predicate symbols.

    Axiomatic Theories of Truth

  • The language of arithmetic does not contain the unary predicate symbol T.

    Axiomatic Theories of Truth

  • Graphs, of the oriented kind arising in say automata theory where multiple edges may connect the same two vertices, can be organized as algebras having two unary operations s and t satisfying s (s (x)) =


  • Peirce defines a large number of unary and binary operators on these three truth values.

    Peirce's Logic

  • The role of contraction was noticed by Fitch 1936, who observed that, in order to derive the Russell paradox one considers a function of two variables, then one diagonalizes and regards such an object as a new unary propositional function.

    Paradoxes and Contemporary Logic


Log in or sign up to get involved in the conversation. It's quick and easy.