I found this LG section really tough.
Any tips on Must Be True LG questions? I have a hard time distinguishing between Could v. Must Be True answers in LG, especially when I'm finding the answer by diagramming hypotheticals.
ttunden Wrote:why cant it be d though? the not blocks at goal sharing are for RS, so QT are the only viable options for this specific problem. D and A can be both proven by sufficiently by the rules and not blocks in the main diagram