P implies Q, how to read in english

Posted by user177883 on Stack Overflow See other posts from Stack Overflow or by user177883
Published on 2010-04-20T23:05:53Z Indexed on 2010/04/20 23:13 UTC
Read the original article Hit count: 202

Filed under:
|
|

how to read P implies Q in classical logic?

example :

Distributivity:  

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

This is model 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?

© Stack Overflow or respective owner

Related posts about logic

Related posts about computer-science