【正文】
(可同真,不同假)從屬關系(AI、EO)全真特必真,全假特不定。特真全不定,特假全必假。(可同真,可同假)對當關系記憶口訣:上不同真;下不同假;上真下必真;下假上必假;交叉分真假。對當關系矛盾公式:A←→172。 O 172。 A←→OE←→172。 I 172。 E←→II←→172。 E 172。 I←→EO←→172。 A 172。 O←→A②關系命題 關系的基本特性:對稱性、傳遞性。③模態(tài)命題:種類:口P、口172。P、◇P、◇172。P。模態(tài)對當關系:模態(tài)對當關系矛盾公式:口P←→172。◇172。P 172??赑←→◇172。P口172。P←→172?!驪 172。口172。P←→◇P◇P←→172。口172。P