I don't really understand the rule that the "arrow must point away from the quantifier".
B-some-A
B --> C
Why can't I conclude C-some-A, considering that "some" statements are reversible?
Reply
Create a free account to read and
take part in forum discussions.