在量词，表示“存在”）两个量词。例如，（“对任意数a与数b，a加b等于b加a”，或用更概括的说法为“加法是可交换的”）（“不存在数c使得c加一等于零”，或用更概括的说法为“零不是任何数的后继”）
原子与命题陈述.命题演算中除原子符号外的所有符号都被用于TNT之中，并保持原来的解释。原子则被关于相等陈述的串替代，如1不等于2：2加3等于5：2加2不等于3：