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