from Wiktionary, Creative Commons Attribution/Share-Alike License.

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

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

  • adjective 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

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

    Combinatory Logic

  • 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

  • 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)) =


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

    smalltalk: philosophy, metaphor, semantics, syntax

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

    Peirce's 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


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