# Logical operation

From Encyclopedia of Mathematics

A method for constructing a compound formula from given formulas, such that the truth value of the compound formula is completely determined by the truth values of the subformulas. Examples of logical operations are conjunction; disjunction; implication; and negation. Quantifiers (cf. Quantifier) are also related to logical operations.

**How to Cite This Entry:**

Logical operation. V.E. Plisko (originator),

*Encyclopedia of Mathematics.*URL: http://encyclopediaofmath.org/index.php?title=Logical_operation&oldid=17868

This text originally appeared in Encyclopedia of Mathematics - ISBN 1402006098