no, A-> B doesn't imply "B some not A", but it may. In other words, It might turn out that A->B and, simultaneously, that B->A, which means that "B some not A" doesn't follow. But it also might turn out that B is a circle in which A is just…
Thanks guys. I'll try your suggestions, except, I'm in Korea and I don't have access to a library with books from the U.S. lol.. but! I can try the cornell website. GL!