Editing Material conditional (section)

== Notation ==
In logic and related fields, the material conditional is customarily notated with an infix operator <math>\to</math>.{{sfn|Hilbert|1918}} The material conditional is also notated using the infixes <math>\supset</math> and <math>\Rightarrow</math>.{{sfn|Mendelson|2015}} In the prefixed [[Polish notation]], conditionals are notated as <math>Cpq</math>. In a conditional formula <math>p\to q</math>, the subformula <math>p</math> is referred to as the ''[[antecedent (logic)|antecedent]]'' and <math>q</math> is termed the ''[[consequent]]'' of the conditional. Conditional statements may be nested such that the antecedent or the consequent may themselves be conditional statements, as in the formula <math>(p\to q)\to(r\to s)</math>.