后置式把运算符号和联结词写在运算项或变项之后而得的公式。通常不用。