模態(tài)命題形式化及其關(guān)系

　　(一)模態(tài)命題形式化。模態(tài)命題：包含有模態(tài)詞的性質(zhì)命題。模態(tài)詞：可能、大概、也許;一定、必定、必然等。模態(tài)詞分為可能性和必然性兩種。

　　模態(tài)判斷在考慮模態(tài)詞與性質(zhì)判斷的性質(zhì)(肯定和否定)時，也分為四種：必然P、必然非P，可能P、可能非P。

　　模態(tài)判斷的重點是注意模態(tài)詞和否定詞之間的位置關(guān)系。

　　例如：

　　并非所有的無產(chǎn)者都必然有革命的要求。

　　所有無產(chǎn)者并非必然有革命的要求。

　　所有無產(chǎn)者必然沒有革命的要求。

　　這種金屬可能不導(dǎo)電。

　　這種金屬不可能導(dǎo)電。

　　這種金屬必然導(dǎo)電。

　　否定在模態(tài)詞前時，模態(tài)詞要變化(即否定)，否定在模態(tài)詞后時，模態(tài)詞不要變化。

　　另外，模態(tài)詞還經(jīng)常出現(xiàn)在邏輯試題的問題中，

　　例如，

　　如果以上論述是真的，則下面哪項都可能真，(除了)?

　　如果以上論述是真的，則以下哪項都必然真確，(除了)?

　　正是因為問題會包含有模態(tài)詞及其否定，所以其要求是不同的。下表是對問題的總結(jié)。

　　(注意：試題中，如果問題沒有必然，則實質(zhì)也是問必然，如，能推出以下什么結(jié)論=必然能推出以下什么結(jié)論。)

　　對于表格中的問題及其意義，考生不必死記硬背，只要在做試題時注意到問題的變化并有所區(qū)分即可，作為解題的經(jīng)驗而不是理論，重要的是應(yīng)用。