The letter A stands for any expression representing a proposition; the truth judgments thus require a more primitive judgment: "A is a proposition".
字母 A 表示代表一个命题的任何表达式；这个真理判断要求更基本的判断:“A 是命题”。