Chap1 基础集合论
Chap1 基础集合论 基本逻辑 Proposition proposition A proposition p is a variable that can take the values true (T) or false (F), and no others. [^1] 一个 proposition 如果一直是 true 被称为 tautology,反

randolf2022年8月28日
大约 19 分钟