12/12!!!!!

could you say that because A<-s->B then it is also true that A<-s->/B because it if Not all of A is B then there is some A that is not B

Do you think we can say then that if A->B then B-s->A because there has to be at least one B that is A if all A is B

Could we also say then if A->B and A->C that B<-s->C?

Hmm, I am not sure if this is taught later or if this wouldn't be able to be a conclusion drawn, but If A-m->B would we then be able to conclude that B-s->A?