... and the consequent is false, as in '(A and ~B)' ... , e.g. one that translates as '~(A -> B)', because ...
You would schematize it as '~(A -> B)', which translates ... ? Your awareness of correct use-mention notation, as in
straightforwardly '~(~ ...