An implication says "if A is true, then B must be true." Written A → B. It is a directed relationship between two boolean values. In the implication graph, A → B is a directed edge going to after leaving . Walking this path means setting A to true forces B to be true through this implication.
Implications are the edges in the implication graph. They capture the constraints represented in clauses. Chains of implications create paths in the graph.