Logical operation

From Encyclopedia of Mathematics
Revision as of 17:23, 7 February 2011 by (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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:
This text originally appeared in Encyclopedia of Mathematics - ISBN 1402006098