- Posts: 8
- Joined: Jan 24, 2023
- Sat Sep 09, 2023 5:27 pm
#103106
Hi Team,
I'm currently cracking down on the 11 principles of making formal logical inferences (thanks so much for such great lessons, btw!) and had a quick question about some and most statements.
I understand that the some relationship goes both ways, as in A <---> B (with an s on top). This would mean some A's are B's and some B's are A's.
If we have a most relationship, as in most A's are B's, A ---> B (with an m on top), would this mean that some B's are A's since "most" has "some" underneath it on the logic ladder?
Or does this only apply to the starting variable, as in some A's are also B's? This is where I'm confused - if the latter is true, does that not mean some B's are A's because the some relationship goes ways?
Please let me know if I'm not making sense!!! Thank you!!
I'm currently cracking down on the 11 principles of making formal logical inferences (thanks so much for such great lessons, btw!) and had a quick question about some and most statements.
I understand that the some relationship goes both ways, as in A <---> B (with an s on top). This would mean some A's are B's and some B's are A's.
If we have a most relationship, as in most A's are B's, A ---> B (with an m on top), would this mean that some B's are A's since "most" has "some" underneath it on the logic ladder?
Or does this only apply to the starting variable, as in some A's are also B's? This is where I'm confused - if the latter is true, does that not mean some B's are A's because the some relationship goes ways?
Please let me know if I'm not making sense!!! Thank you!!