模态命题形式化及其关系

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

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

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

　　例如：

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

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

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

　　这种金属可能不导电。

　　这种金属不可能导电。

　　这种金属必然导电。

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

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

　　例如：

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

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

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

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

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