先只关注最简单的两个判断 “A 是命题”和“A 为真”，分别缩写为“"A" prop”和“"A" true”。
形成规则.判断“"A" prop”定义了 "A" 的有效证明的结构，它们进而定义了命题的结构。出于这个原因，判断的推理规则有时叫做形成规则。作为展示，如果我们有两个命题 "A" 和 "B" (就是说，判断“"A" prop” 和“"B" prop”是显然的)，则我们形成了复合命题 "A 与 B"，符号化写为 "formula_1"。我们可以用推理规则的形式把它写为:这个