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: 201
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