Jeff,
I'm currently completing the Some Train diagramming mini-drill (LRB 2023 Edition, Chapter 13, pg. 435) and ran into a challenge. Below's my reasoning below:
Legend:
- ^s means a lowercase letter s is present over the conditional diagram which begins the some train.
<> means double arrow
<means single arrow
> means single arrow
<|> means double not arrow
Problem #4: J<K<^s>L yields the following inference according to the answer key: L<^s>J . However, my answer is J<^s>L.. Is my answer correct given that the some diagram goes in both directions?
Problem #7: S<|>T<^s>U yields the following inference according to the answer key: U<^s> S (negated...struckthrough). However, my answer is a negated S<^s>U . Is my answer correct given that the some diagram goes in both directions?
I ask because the textbook seems to give two different interpretations of how to form inference diagrams that go from right to left (pg. 433, paras. 1 & 2 juxtaposed against pg. 434, paras. 1-3)
Thanks,
Jonathan