formula Definition Implication The implication is a binary logical connective. For formulas and , the formula is false exactly when is true and is false. In all other cases, is true. Truth Table