第一章 逻辑和证明

[TOC] 命题 定义： 命题是一个陈述句（即陈述一个事实的句子），它不是真就是假，但不是两者都是假。 示例 以下都是命题 1、华盛顿特区是美利坚合众国的首都. 真命题 2、多伦多是加拿大的首都...