La implicación "A" ⇒ "B" puede ser expresada como "si A, entonces B".