逻辑学导论3

命题

一个句子,什么东西怎么样。每个命题都有真值:有真或者假

推理

从前提得出结论的过程,这里的前提和结论都是命题

有效推理形式

真前提通过有效推理形式一定能得出真结论

简单命题和复合命题

复合命题是由一个或多个简单命题,通过连接符连接。

例子:今天下雨-简单命题

今天下雨,并且今天刮风-复合命题

并非今天下雨-?

如何判断真值?

简单命题依靠逻辑学无法判断真值

复合命题在知道其中简单命题真值的情况,加上连接符可以判断真值。也存在可以直接判断的

例子

矛盾-直接判断为假

今天下雨或者不下雨-直接判断为真

你可能感兴趣的:(逻辑学导论3)