文字

命题变元 或它的否定称为文字

$$\neg P$$ $$P$$