| 命题变元 propositional variable (1)在普通逻辑中，亦称“判断变元”。指各种复合命题的命题形式中的可变部分，是复合命题的命题形式中用以表示某种具体思想(命题)的符号。如在“如果p，则q”这一命题形式中表示前件的“p”和表示后件的“q”;在“p或者q”中表示两个选言支的“p”和“q”等。(2)在数理逻辑中，表示某一范围内的任一命题。一般用符号p，q，r，…表示。引进变项可以标志同异和表示形式结构。例如在命题逻辑公式(p→q)∧p→q中，第一个p和第二个p是相同的变项，它们的值虽不确定，但代表同一命题。而p和q就是两个不同的变项，一般来说，它们代表不同的命题。即标志着同异。另外，命题变项的引入可以表示形式结构，如合取命题的形式就可以表示成p∧q。 |