Logical operation
From HandWiki
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.
 |  |
