When it is the case that if this is true, that is true, we shall say that this 'implies' that, and that that 'follows from' this.

如果这是真的， 那就是真的， 我们会说这个“蕴含” 那个，那个“遵循” 这个。