->a sentence in propositional logic that's either an atomic sentence or ->the negation of one? ... I think it's an unfortunate name for this kind ->of sentence and would welcome a better one, Given "atomic", above, I was going to suggest "molecular", but that would better apply to any compound proposition. So how about "ionic"? wfct