P implies Q, how to read in english

Question

how to read P implies Q in classical logic?

example :

Distributivity:  

Ka(X->Y) -> (KaX -> KaY)

This is modal logic which uses classical logic rules.
KaX : a knows the that X is true.

I m curious about how to read implication in english? if then else?

Edit : in Modal Logic, Ka becomes Box, well it s boxed shape sign, that symbolizes necessiation rule, Rule N, that means, box P , if you have P in a world Delta then all the acessible worlds should also have P.

THere is also Diamond P, which means possibility, that there exists one world which has P accessible from the world that Diamond P has.

Answer 1

Perhaps it helps you to understand that if you imagine a small example from the real world:

Fire implies Heat

That means if you have fire, there must be heat. If there is no fire, there can be heat, due to other effects (e.g. sun is shining :) ), but there could as well be no heat.

If you have fire but no heat, somethings wrong. The implication is false then.

Answer 2

"P implies Q" is equivalent to "if P, then Q".

Answer 3

Not P Or Q. This version you want?