Encyclopedia > Logical biconditional

  Article Content

Logical biconditional

In logical calculus of mathematics, logical 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 an arrow "<->".

The hypothesis is sometimes also called "necessary condition" while the conclusion may be called "sufficient condition".

It is defined using the following truth table:

p q | p <-> q
----+--------
T T |    T
T F |    F
F T |    F
F F |    T

The only difference from logical conditional is the case when the hypothesis is false but the conclusion is true. In that case, in conditional, the result is true, yet in biconditional the result is false.



All Wikipedia text is available under the terms of the GNU Free Documentation License

 
  Search Encyclopedia

Search over one million articles, find something about almost anything!
 
 
  
  Featured Article
Westhampton Beach, New York

... out with 20.5% under the age of 18, 6.1% from 18 to 24, 24.6% from 25 to 44, 28.2% from 45 to 64, and 20.7% who are 65 years of age or older. The median age is 44 years. ...

 
 
 
This page was created in 22 ms