The material conditional (also known as material implication, material consequence, or simply implication, implies, or conditional) is a logical connective (or a binary operator) that is often symbolized by a forward arrow "→". The material conditional is used to form statements of the form p→q (termed a conditional statement) which is read as "if p then q". Unlike the English construction "if...then...", the material conditional statement p→q does not specify a causal relationship between p and q. It is merely to be understood to mean "if p is true, then q is also true" such that the statement p→q is false only when p is true and q is false.^[1] The material conditional only states that q is true when (but not necessarily only when) p is true, and makes no claim that p causes q.

Notes ...

• Conditional
• should I deprecate my use of the forwardArrow as "next"?
  • find an alternate symbol before deciding.
• Notes in the Description field have the advantage of being relative obvious, as opposed to Comment(s).

^ Comment(s)