Material conditional
a Logic component

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 pq (termed a conditional statement) which is read as "if p then q". Unlike the English construction "if...then...", the material conditional statement pq 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 pq 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)

Immediately related elementsHow this works
-
202?-Ð( 丑 ) »202?-Ð( 丑 )
→ TnT »→ TnT
RoadMap »RoadMap
? + * »? + *
algebra »algebra
mathematics »mathematics
Material conditional
+Commentaires (1)
+Citations (0)
+About