命題

一個(gè)句子，什么東西怎么樣。每個(gè)命題都有真值：有真或者假

推理

從前提得出結(jié)論的過(guò)程，這里的前提和結(jié)論都是命題

有效推理形式

真前提通過(guò)有效推理形式一定能得出真結(jié)論

簡(jiǎn)單命題和復(fù)合命題

復(fù)合命題是由一個(gè)或多個(gè)簡(jiǎn)單命題，通過(guò)連接符連接。

例子：今天下雨-簡(jiǎn)單命題

今天下雨，并且今天刮風(fēng)-復(fù)合命題

并非今天下雨-？

如何判斷真值？

簡(jiǎn)單命題依靠邏輯學(xué)無(wú)法判斷真值

復(fù)合命題在知道其中簡(jiǎn)單命題真值的情況，加上連接符可以判斷真值。也存在可以直接判斷的

例子

矛盾-直接判斷為假

今天下雨或者不下雨-直接判斷為真