Implication, in logic, a relationship between two propositions in which the second is a logical consequence of the first. In most systems of formal logic, a ...