connective

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