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

1.任何命题变元是命题形式.

2.如果A和B是命题形式，则（A） ＞, （A）八

B ＞, (AV B ＞, AB)和(AHB)都是命题形式.

命题是形式逻辑研究的主要对象，但是一般不研究具体的命题，而是研究具体命题符号化后的形式，即命题形式.以P，q，二，…表示简单命题，而以门，八，V，~，~表示命题联词，这样就可将简单命题变成复合命题.例如，“小王聪明但不用功”和“如果明天天气好，则我去公园或去看电影”可形式化成为:p八(门妇和r s V t).其中p表示小王聪明，9表示小王用功，r表示明天天气好，、表示我去公园，!表示我去看电影.注意，当一个复合命题被形式化后，剩下的只是它的赤裸裸的逻辑骨架.人们正是通过这些逻辑骨架分析推理，找出普遍适用的推理规则或规律.