逻辑学与讲稿4.pptVIP

3.同素材的模态命题间的真假关系 在同素材的四种模态命题之间也存在着真假上的相互制约关系。这种关系与四种性质命题间的对当关系相同，故又称模态命题的对当关系。 根据对当关系，同样可以由一个模态命题的真或假，来确定与其同素材的另外几个模态命题的真或假。 4.模态命题的负命题及其等值命题 否定一个模态命题就会形成该模态命题的负命题。一个模态命题的负命题与被否定的模态命题的矛盾命题在逻辑上是等值的。所以，总是可以从一个模态命题的负命题推得一与它相等值的命题。例如： －□p?◇－p； －□－p?◇p； －◇p?□－p； －◇－p?□p。 二、模态推理 模态推理就是以模态命题为前提，并根据模态命题的逻辑特点或相互关系进行的推理。例如： 违反法律必然受到法律的惩罚， 他违反了法律， 所以，他必将受到法律的惩罚。 模态推理的种类很多，主要有： 1.根据对当关系进行的模态推理。 2.根据模态命题的负命题进行的模态推理。 3.模态三段论 模态三段论就是在三段论中引入模态词而进行的推理。上例便是模态三段论。 模态三段论又有两种形式： ⑴纯模态三段论，即其前提全都是模态命题的模态推理