You get A's on all exams. You get an A in the course. The semantics of implication is trickier than for the other connectives. If and are both true, clearly the implication is true . If the premise is false no conclusion can be drawn, but both being true and being false are consistent, so that the implication is true in both cases.
Implication can also be expressed by other connectives, for example, is logically equivalent to .
The Case of the Stupid Defense Attorney . Otherwise, is false. Bill studies hard. The biconditional may be viewed as a shorthand for a conjunction of two implications, as is logically equivalent to . A proposition is sufficient for if is a tautology.