2015MBA逻辑考试知识点总结：模态命题形式化及其关系

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

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

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

　　例如：

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

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

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

　　这种金属可能不导电。

　　这种金属不可能导电。

　　这种金属必然导电。

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

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

　　例如，

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

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

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

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