模态命题形式化及其关系

(一)模态命题形式化。模态命题：包含有模态词的性质命题。模态词：可能、大概、也许;一定、必定、必然等。模态词分为可能性和必然性两种。

模态判断在考虑模态词与性质判断的性质(肯定和否定)时，也分为四种：必然P、必然非P，可能P、可能非P。

模态判断的重点是注意模态词和否定词之间的位置关系。

例如：

并非所有的无产者都必然有革命的要求。

所有无产者并非必然有革命的要求。

所有无产者必然没有革命的要求。

这种金属可能不导电。

这种金属不可能导电。

这种金属必然导电。

否定在模态词前时，模态词要变化(即否定)，否定在模态词后时，模态词不要变化。

另外，模态词还经常出现在逻辑试题的问题中，

例如，

如果以上论述是真的，则下面哪项都可能真，(除了)?

如果以上论述是真的，则以下哪项都必然真确，(除了)?

正是因为问题会包含有模态词及其否定，所以其要求是不同的。下表是对问题的总结。

(注意：试题中，如果问题没有必然，则实质也是问必然，如，能推出以下什么结论=必然能推出以下什么结论。)

对于表格中的问题及其意义，考生不必死记硬背，只要在做试题时注意到问题的变化并有所区分即可，作为解题的经验而不是理论，重要的是应用。