Encyclopedia > Logical conditional

  Article Content

Logical conditional

In logical calculus of mathematics, logical conditional is a binary logical operator connecting two statements, if p then q where p is a hypothesis (or antecedent) and q is a conclusion[?] (or consequent). The operator is denoted using an left-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 |    T
F F |    T

In the case that the hypothesis is true, the result is the same as conclusion. Otherwise, the whole statement is true regardless the value of conclusion.



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
East Marion, New York

... is spread out with 18.5% under the age of 18, 4.4% from 18 to 24, 20.6% from 25 to 44, 26.3% from 45 to 64, and 30.2% who are 65 years of age or older. The median age ...

 
 
 
This page was created in 28.5 ms