Posting on Behalf of a 7Sage User: Question on Advanced Logic

Juliet - Student Service

[I am posting on behalf of a 7Sage user. Please feel free to leave your comments below. Thank you for your help!]

"In the Introduction to Logic lessons, J.Y. talks about how All Jedis use the Force, and J is in a small circle (sufficient) within the domain of the F (necessary).

But in Advanced Logic, he talks about how A->(B->C) = A and B ->C = A is “kicked up” and B->C happens in A’s domain.

But how come the domain in the first Jedi example is the necessary clause? But then the domain is the sufficient clause in the Advanced Logic example?"