Logical implication is a type of relationship between two statements or sentences. The relation translates verbally into "logically implies" or the logical connective "if/then" and is symbolized by a ...