P implies Q, how to read in english
- by user177883
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?