离散数学03谓词和量词

- 第1章 基础：逻辑和证明 - 1.3 谓词和量词 - 1.3.1 引言(命题逻辑的局限 1) - 含变量的陈述句不是命题？