Cuando una proposición se sigue de otras de ese modo, se dice que éstas implican aquélla.