P暗示Q，英语怎么读

如何理解经典逻辑中P蕴含Q？ 示例： Distributivity: Ka(X->Y) -> (KaX -> KaY) 这是使用经典逻辑规则的模态逻辑。 KaX：a 知道 X 为真。 我很好奇英…