Asked • 06/27/19

P implies Q, how to read in english?

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.

1 Expert Answer


Alex V. answered • 06/28/19

4.9 (7)

PhD Student in Mathematical Logic

Still looking for help? Get the right answer, fast.

Ask a question for free

Get a free answer to a quick problem.
Most questions answered within 4 hours.


Find an Online Tutor Now

Choose an expert and meet online. No packages or subscriptions, pay only for the time you need.