Massachusetts Institute of Technology: Srini Devadas and Eric Lehman's "Logic"
Read Section 1.1.2 and Section 1.1.3 on pages 4 and 5. Section 1.1.3 of this reading also applies to Subunit 1.2.5.
The conditional statement in English can be translated to implication in logic.