\begin{definition}[Definition:Conditional/Formal Implication]
'''Formal implication''' is a usage of an implication in which it is necessary for there to be a formal connection between the antecedent and the consequent in order for the implication to have any semantic meaning.
\end{definition}