| Logical Biconditional |
Article Index for Logical |
Shopping Logical |
Website Links For Logical |
Information AboutLogical Biconditional |
| CATEGORIES ABOUT LOGICAL BICONDITIONAL | |
| logic | |
| binary operations | |
See also Logical Equivalence . In Logical Calculus of Mathematics , logical biconditional (sometimes also known as the '''material biconditional''') is a Logical Operator connecting two statements to assert, ''p'' If And Only If ''q'' where ''p'' is a '' Hypothesis '' (or ''antecedent'') and ''q'' is a '' Conclusion '' (or ''consequent''). The operator is denoted using a doubleheaded arrow "↔" or '''EQV'''. It is logically equivalent to (p → q) ∧ (q → p), or the XNOR boolean operator. The hypothesis is sometimes also called "sufficient condition" while the conclusion may be called "necessary condition". It is defined using the following Truth Table : |
|
|