A negative literal is the negation of an atom.
否定文字是一个原子的否定。