二、 命题变项

  为了对命题作逻辑演算,采用数学手法将命题符号化(形式化)是十分重要的。我们约定用大写字母表示命题,如以P表示"雪是白的",Q表示"北京是中国的首都"等等。当P表示任一命题时,P就称为命题变项(变元)。

  有些文献中,用小写拉丁字母表示命题变量:p,q,r,…,而用大写字母代表具体的、确指的命题:P,Q,R,…,本书在不发生混淆的地方有时也用大写字母代表命题变量。