implies definition
Implies is the connective in propositional calculus which has the meaning if is true, then is also true.. In formal terminology, the term conditional is often used to refer to this connective (Mendelson 1997, p. 13). The symbol used to denote implies is , (Carnap 1958, p. 8; Mendelson 1997, p. 13), or .