In order to translate a proposition into a predication formula, the set relative to problem must be confirmed firstly.

• 将命题翻译成谓词公式时,先要确定论域。