In propositional logic the logical implication is defined as follows:
( 12 ) The Trojans attack the Greek wall on foot. Hector, ignoring an omen, leads the terrible fighting. The Greeks are overwhelmed and routed, the wall's gate is broken, and Hector charges in.
Ann Patchett, author of Bel Canto and State of Wonder