I've been studying for the LSAT for some time now but have recently been struggling certain question types (inference, sufficient assumption, parallel reasoning. My goal is to score in the top percentiles so I am exploring every route to get there.
I've taken logic classes in college so I am somewhat familiar with formal logic. Recently, I've begun reviewing material and have found some contradictions in the way LSAT logic is diagrammed. For instance, diagramming E propositions (No S is P) as S ---> ~P and its contrapositive P ---> ~S. The contrapositive inference is intuitively apparent but according to formal logic is invalid. Moreover, existential import seems to not matter on different inference type questions.
Anyway, am I getting too deep into formal logic or is there some benefit to understanding this? Again, I am attempting to score in the very upper echelons and one area of weakness is abstracting specific argument forms. Has anyone been able to leverage this knowledge to their advantage?
Thanks in advance!