命题形式

命题形式(propositional forms)数理逻辑术语.是由命题变元p，9，r，…和命题联词二(非)，八(与)，V(或)，~(若……则……)，~(当且仅当)按下列规则形成的公式:1.任何命题变元是命题形式.