A logical operation that assumes the second statement of a pair is true if the first one is true.

• 包含如果两个陈述的第一个正确，那么第二个也正确的逻辑推理