【模态命题形式化】

　　模态命题：包含有模态词的性质命题。模态词：可能、大概、也许;一定、必定、必然等。模态词分为可能性和必然性两种。模态判断在考虑模态词与性质判断的性质(肯定和否定)时，也分为四种：必然P、必然非P，可能P、可能非P。模态判断的重点是注意模态词和否定词之间的位置关系。

　　如：

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

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

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

　　这种金属可能不导电。

　　这种金属不可能导电。

　　这种金属必然导电。

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