... ' in for those schematics gets us from '~(~M -> B)' to ... , an LSAT prob might set us up to infer '~(A -> ... aside, classical logic would have us conclude that John was in ... in English. Turns out only non-classical logics have the expressive ...