Basic symbolic logic, as it stands, is very straightforward to me, but I don't seem to understand it verbosely, i.e. without constructing truth tables. Actually it's only the negation of statements that I don't seem to grasp intuitively. For instance, the negation of John is fat and John is blonde is simply John is not fat or John is not blonde but I don't get why it is so, without truth tables. How can I go around with working with negations intuitively? Should I just find out what negates to what and keep that in mind when working with statements?