connective

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

Last updated: 2014-05-04


Loading