See "material implication" (https://en.wikipedia.org/wiki/Material_conditional), which is what most people here will likely mean when they say "implies":

> The material conditional (also known as material implication, material consequence, or simply implication, implies, or conditional) is a logical connective (or a binary operator) that is often symbolized by a forward arrow "→". The material conditional is used to form statements of the form p → q (termed a conditional statement) which is read as "if p then q". Unlike the English construction "if... then...", the material conditional statement p → q does not specify a causal relationship between p and q. It is merely to be understood to mean "if p is true, then q is also true" such that the statement p → q is false only when p is true and q is false.[1]  The material conditional only states that q is true when (but not necessarily only when) p is true, and makes no claim that p causes q.