高中数学 第一章 常用逻辑用语 1.1 命题及其关系 命题逻辑素材 新人教A版选修21

命题逻辑命题逻辑以逻辑运算符结合原子命题来构成代表“命题”的公式，以及允许某些公式建构成“定理”的一套形式“证明规则”。（相对于谓词逻辑，它是量化的并且它的原子公式是谓词函数；和模态逻辑，它可以是非真