Conjunction

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definition
A binary logical connective (written ∧) that yields true exactly when both of its operand formulae are true; represents logical 'and' in propositional logic.