Material Conditional

The Material Conditional is the symbol $\rightarrow$ in Propositional Logic.

It is typical to see

$p \rightarrow q$

and to be told that it reads as “if p, then q” or alternately “p implies q”.

The basic idea is, every time p is true, q has to also be true.