Hi guys,
I'm working through the core curriculum at the moment in preparation for the Sept. LSAT, and I'm getting a bit hung up at the logic section. A lot of my undergrad has been formal propositional and first order logic, and so many of my intuitions are being challenged by the unconventional way 7Sage teaches logic. For example, I would immediately translate the statement "No pilots are blind," as:
~∃x(P(x)^B(x)) - there does not exist an object that is a pilot and that is blind.
And of course the negation of that would just be ∃x(P(x)^B(x)) - there exists some object that is a pilot and that is blind.
Do you think it's worth 'reprogramming' myself to do things 7Sage's way, or just stick with the way I've been doing it for years? I guess I'm just a bit concerned that there is something specific to the LSAT where conventional logical notation would fail, and it would be worth knowing 7Sage's method.
Thanks for the responses! @.Sieradzki Thank you, that's exactly what I was looking for. I was making a point to try to stick to the basic conditional statements without quantifying over anything or using other connectives, but then the "some" notation was introduced which seems to be used sort of like a pseudo-existential quantifier. I'll definitely make sure I have the 4 groups down. J.Y. tends to go into such exquisite detail at times, which I think might be causing me to overthink this! :smiley: