命题形式 propositional form 用符号表示命题时所得的符号表达式。命题的形式结构。在命题演算中,命题形式就是真值形式。在谓词演算中, 它还包括有关全称量词和存在量词的命题形式等。例如单称命题:“2是有理数”、“张三比李四高”的形式为:“a是F.F(a)”、“a和b有关系R.R(a,b)”。古典形式逻辑的A、E、I、O在谓词演算中可以表达成命题形式,全称肯定命题:“一切S都是P”的形式为“(ᗄx)(S(x)→P(x))”。全称否定命题:“一切S都不是P”的形式为“(ᗄx)(S(x)→P(x))”。特称肯定命题:“有的S是P”的形式为“(∃x)(S(x)∧P(x))”。特称否定命题:“有的S不是P”的形式为“(∃x)(S(x)∧P(x))”。 |