connective

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

1
Show
Maximize