... the other truth functions (not, and, or) are solitary. That's why ... part" is negating the whole conditional or just the consequent. Incidentally, you ... the consequent when negating the conditional, but you would also ... in that example with M and B. So it sounds ...