为真”这种形式的。字母 "A" 表示代表一个命题的任何表达式；这个真理判断要求更基本的判断:“A 是命题”。很多其他判断也已经被研究了；比如“A 为假”(参见经典逻辑)，“A 在时间 t 为真”(参见时间逻辑)，“A 必然为真”或“A 可能为真”(参见模态逻辑)，“程序 M 有类型 τ”(参见编程语言和类型论)，“A 从可用的资源是可完成的”(参见线性逻辑)，等等。作为开始，我们先只关注最简单的两个判断 “A 是命题”和“A 为真”，分别缩写为“"A" prop”和“"A" true”。Section: