原子命题可以两种真值，即真和假．一般用用 T 表示真（ T 为英文动词True的缩写），用 F 表示假（ F 为英文动词False的缩写）。有时也可以用1与0分别表示真与假。
　　2．命题的表示法
　　在数理逻辑中，可以使用大写字母，如P、Q、R 或带下标的大写字母，如P₁、P₂、P₃等表示命题。
　　3．联结词
　　表示命题间逻辑关系的形式化符号称为逻辑联结词，简称联结词。
　　逻辑联结词也可以称为逻辑运算符。
　　常用的逻辑联结词主要有五个，分别表示逻辑关系中的“非”、“且”、“或”、“如果…则…”及“…当且仅当…”等，对应的逻辑符号表示为┐、∧、∨、→与。
　　复合命题是由原子命题经过逻辑联结词联结而构成的。