... for those schematics gets us from '~(~M -> B)' to ... set us up to infer '~(A -> B)' from '(A and ~B)', but ...
You would schematize it as '~(A -> B)', which translates to ... approximate most natural language conditionals. From a formal point of view, it ...