connective

<logic> A symbol that functions to join two or more propositions into a compound proposition. Sometimes applied to symbols (like "~" for negation) which apply only to one proposition at a time. Sometimes applied to the function denoted by the symbol, rather than the symbol itself. A truth-functional connective is a truth-function; its components are its arguments and the truth-value of the compound it forms is its value. Truth-functional connectives that apply to only one proposition at a time are monadic; those that join two propositions are dyadic; those that join three are triadic, and so on. Monadic connectives are also called operators.

See truth-functional compound proposition

[Glossary of First-Order Logic]

<2001-03-16>

Try this search on OneLook / Google


Nearby terms: connected subgraph « connectionism « connectionism history of « connective » connotation » conscience » consciousness