Logical operation
From Encyclopedia of Mathematics
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
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
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