摘要
所谓直言模态命题是指以传统的直言命题A、E、I、O为基础,加上模态词“必然”(□)或“可能”(◇)之后所形成的下面八种命题□SAP□ SEP□ SIP□ SOP◇SAP ◇SEP ◇SIP ◇SOP在上面八种命题中,彼此间也存在着同传统直言命题对当关系相类似的真假制约关系.为了便于记忆,我们可用下面的图形显示出来□SAP □SEP□SIP □SOP◇SAP ◇SEP◇SIP ◇SOP这一图形所显示的对当关系及其有效推理式可概括为以下四类:一、矛盾关系及其推理在八种直言模态命题中,具有矛盾关系的有如下四组:□SAP与◇SOP□SEP与◇SIP□SIP与◇SEP□SOP与◇SAP存在矛盾关系的两个命题,不能同真,
