因此从狭义上讲，逻辑学是以推理的有效性及其根据为研究对象的。
一个推理实际上是一个语句的集合，但是这并不意味任意语句集合都可以表达一个推理。一个语句集合表达推理首先要求作为集合元素的语句必须表达的是命题。
命题是描述事件的，一个命题所描述的如果符合事实，它就是真的，如果不符合事实，它就是假的。因此，一个语句表达命题则它或者是真的或者是假的，无所谓真假的语句不表达命题。例如语句“王武当时在案发现场吗？”是一个疑问，它表达的是对某情况的疑问，无所谓真假，因此我们说它不表达命题。
……
不管每个人如何反应，霍崇却明白。孔不更竟然真学明白了。