The formula [tex]q \Rightarrow p[/tex] 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 [tex]q \Rightarrow p[/tex] have a form: "If the graphs of two functions intersect at exactly one point, then two linear functions have different coefficients of x."
