命题变元使用逻辑公式通常由一些命题变元，一些数量的逻辑连接符和一些逻辑量词构建起来
命题变量是命题逻辑的原子公式（atomic formulas）
举例：在给定的命题逻辑中，我们可以定义这样一个公式：（1）每个命题变元都是一个公式
（2）给定一个公式X，那么X的否定¬X也是一个公式
（3）给定两个公式X和Y，以及二元连接b（如逻辑连接∧），则（X b Y）是一个公式
这样，命题逻辑的所有公式都是以命题变元为基础的
命题变元不应和出现在命题演算的典型公理中的元变量混淆
以上内容由大学时代综合整理自互联网，实际情况请以官方资料为准。
