Material Conditional Relation

See: Logical Implication Relation.

References

(Wiktionary,2009) ⇒ http://en.wiktionary.org/wiki/material_conditional
- Noun
  - A conditional statement in the indicative mood. A implies B is a material conditional.
- Synonyms: conditional; if-then statement

(Wikipedia, 2009) ⇒ http://en.wikipedia.org/wiki/Material_conditional
- The material conditional, also known as the material implication or truth functional conditional, expresses a property of certain conditionals in logic. In propositional logic, it expresses a binary truth function from truth-values to truth-values. In predicate logic, it can be viewed as a subset relation between the extension of (possibly complex) predicates. In symbols, a material conditional is written as one of the following:
- X \rightarrow Y,
- X \supset Y, and sometimes