... k13.0
Remember that '(A -> B)' is equivalent to '(~A ... you'll never see a bald negation of a conditional connective on the ...
You would schematize it as '~(A -> B)', which translates ... natural language conditionals. From a formal point of view, ...