connective

An operator used in logic to combine two logical formulas. See first order logic.