# Idea The implication operator is one of the most important operators in mathematics, computer science, and spoken English. It's used to put forward an argument. It is a form of [[logical implication]]. $p \rightarrow q$ If the *antecedent* $p$ is true, the *consequent* $q$ must be true. # References