... sorry to say. It's a unique connective in that it ... say whether "negating then 'then' part" is negating the whole conditional or just ... negate the consequent when negating the conditional, but you would also ... is, you negate 'A->B' by saying 'A & ~B', ...