... say, the "main" connective is the conditional, not the negation. There's a difference between ~(P ... the latter category. I'm guessing the former, wide-scope negation, is what ... lot"), and there's substantial controversy over what the proper logical form of ...