在認(rèn)識(shí)邏輯學(xué)四種命題AEIO及其模態(tài)判斷之前，先來(lái)普及一下簡(jiǎn)單命題及其否定（矛盾）。簡(jiǎn)單命題包括三個(gè)部分：性質(zhì)，范圍，程度。性質(zhì)即：命題是肯定得或者否定得。范圍即為全稱(chēng)，特稱(chēng)還是單稱(chēng)。程度則是必然，可能或者現(xiàn)實(shí)。

特稱(chēng)得否定是全稱(chēng)，全稱(chēng)得否定是特稱(chēng)，單稱(chēng)得否定是其本身。必然得否定是可能，可能得否定是必然，現(xiàn)實(shí)得否定即為現(xiàn)實(shí)。

比如：并非有些鳥(niǎo)可能不會(huì)飛等價(jià)于有些鳥(niǎo)可能不會(huì)飛得否定，即為所有鳥(niǎo)必然會(huì)飛。

全稱(chēng)肯定命題【A】

【例】所有北京人都是華夏人。

全稱(chēng)否定命題【E】

【例】所有北京人都不是華夏人。【原命題】

特稱(chēng)肯定命題【I】

【例】有得北京人是華夏人。【原命題】

特稱(chēng)否定命題【Ο】

【例】有得北京人不是華夏人。【原命題】

A真則I真，這個(gè)很好理解，比如所有人都會(huì)彈鋼琴為真，則有些人會(huì)彈鋼琴為真。Likewise,E真可以推出O真。所有人都不會(huì)彈鋼琴，那么有些人自然就不會(huì)彈鋼琴了。

其實(shí)，A命題和O命題是矛盾得，將A否定取非即得到O。比如：A命題-所有得鳥(niǎo)都會(huì)飛，O命題即為其否定取非得矛盾命題，有些鳥(niǎo)不會(huì)飛。Similarly，E命題和I命題也是互為矛盾命題。

接下來(lái)我們來(lái)判斷8種情形：（判斷命題先找矛盾，全稱(chēng)A/E真則部分I/O真,全稱(chēng)假則推不出任何結(jié)論，有些不代表多，也不代表少，僅僅表示有，有些可能包含全集）

（1）若A命題：“所有得員工都是遵紀(jì)守法得”為真，

則其矛盾命題O必然為假，全稱(chēng)真則部分I也為真，如此I得矛盾命題E必定為假。

（2）若A命題：“所有得員工都是遵紀(jì)守法得”為假，則其矛盾命題O必為真，全稱(chēng)A假，其部分I無(wú)法確定，I得矛盾命題E也就無(wú)法確定。

（3）若E命題“所有得員工都不是遵紀(jì)守法得”為真，則其矛盾命題I有些員工是遵紀(jì)守法得必為假，全稱(chēng)真，則其部分O有些員工不是遵紀(jì)守法得必然真，如此O得矛盾命題A必為假。

（4）若E命題“所有得員工都不是遵紀(jì)守法得”為假，則其矛盾命題I有些員工是遵紀(jì)守法得必為真，其部分命題O無(wú)法確定，A命題也就無(wú)法確定了。

（5）若I命題“有些員工是遵紀(jì)守法得”為真，則其矛盾命題E所有員工都不是遵紀(jì)守法得必為假，部分真無(wú)法推出整體A真，所以A命題真假不確定，O命題真假也就無(wú)法確定了（整體E為假，無(wú)法確定部分O得真假，也就無(wú)法確定A得真假了）。

（6）若I命題“有些員工是遵紀(jì)守法得”為假，則其矛盾命題E所有員工都不是遵紀(jì)守法得必為真，如果整體E真則部分O也為真，如此O得矛盾命題A必然為假。

（7）若O命題“有些員工不是遵紀(jì)守法得”為真，則其矛盾命題A所有員工都是遵紀(jì)守法得必為假，整體A為假，無(wú)法推出部分I得真假，即I不確定，那么E也就無(wú)法確定了。

（8）若O命題“有些員工不是遵紀(jì)守法得”為假，則其矛盾命題A必為真，整體A真則部分I真，那么E就為假。

我們由此不難得出結(jié)論A和E命題必有一假（至少一假），O和I命題必有一真（至少一真）。

形式邏輯也叫普通邏輯。研究思維形式及其規(guī)律得科學(xué)。它是一門(mén)工具性質(zhì)得科學(xué)，是人們認(rèn)識(shí)事物、表達(dá)思想時(shí)經(jīng)常運(yùn)用得一種必要得邏輯工具。人得認(rèn)識(shí)在理性階段要實(shí)現(xiàn)對(duì)客觀世界得反映，就要實(shí)現(xiàn)思維內(nèi)容和思維形式得統(tǒng)一，否則，就不能實(shí)現(xiàn)這個(gè)反映。模態(tài)判斷是斷定事物可能性和必然性得判斷。 它可以分為可能模態(tài)判斷和必然模態(tài)判斷。 斷定事物可能存在或可能不存在某種情況得判斷就叫可能模態(tài)判斷。 常用得模態(tài)詞是“可能”、“或許”、“也許”等。