命题形式和命题公式 1、命题形式 ※命题形式指用符号表示命题时所得的 符号表达式。在命题演算中,它就是真值形 式;在谓词演算中,它是包括全称量词和存 在量词的命题形式。 ※命题逻辑以复合命题作为自己的研究对 象,因此,这里关于命题形式的考察,主要 复合命题的形式结构。 2/23/2021 102/23/2021 10 1、命题形式 ※ 命题形式指用符号表示命题时所得的 符号表达式。在命题演算中，它就是真值形 式；在谓词演算中，它是包括全称量词和存 在量词的命题形式。 ※ 命题逻辑以复合命题作为自己的研究对 象，因此，这里关于命题形式的考察，主要 是复合命题的形式结构。 二、命题形式和命题公式