... . It's a unique connective in that it's broken into ... the other truth functions (not, and, or) are solitary. That's why ... ' part" is negating the whole conditional or just the consequent. Incidentally, you ... move we made in that example with M and B. So it ...