... gets us from '~(~M -> B)' to '~(~~M or ... />
It also makes sense to remember that a conditional is ... us up to infer '~(A -> B)' from '(A and ...
(1) It's not true that if Jones ... power to approximate most natural language conditionals. From a ...