命题
一个句子，什么东西怎么样。每个命题都有真值：有真或者假
推理
从前提得出结论的过程，这里的前提和结论都是命题
有效推理形式
真前提通过有效推理形式一定能得出真结论
简单命题和复合命题
复合命题是由一个或多个简单命题，通过连接符连接。
例子：今天下雨-简单命题
今天下雨，并且今天刮风-复合命题
并非今天下雨-？
如何判断真值？
简单命题依靠逻辑学无法判断真值
复合命题在知道其中简单命题真值的情况，加上连接符可以判断真值。也存在可以直接判断的
例子
矛盾-直接判断为假
今天下雨或者不下雨-直接判断为真
