The formula

means that from statement q implies statement p.
When statements p="two linear functions have different coefficients of x" and q="the graphs of two functions intersect at exactly one point", then the statement

have a form: "If the graphs of two functions intersect at exactly one point, then two linear functions have different coefficients of x."