模态逻辑—模态命题和推理.pptVIP

（二）复合真值模态命题推理 复合真值模态命题推理是根据复合真值模态命题 之间的等值关系或蕴含关系而进行的演绎推理。 例如，根据 □（pΛq） ? □pΛ□q 便有 甲胜诉而乙败诉，这是必然的； 所以，甲必然胜诉，而乙必然败诉。 常见的公式有： （1） □（p→q） →（□p→□q） （2） □（pΛq） ? □pΛ□q （3） ?（p V q） ? ?p V ?q （4） ?（pΛq）→ ?pΛ?q （5） □p V□q→□（p Vq） （6） □（p ?q） →（□p ?□q） （7） □（p→q） ?? ?（pΛ?q） （8） □（p→q）Λ□p→□q （9） □（p→q）Λ□?q →□?p （10） □（pVq）Λ□?p →□q （一）规范模态对当推理 规范模态对当推理是根据规范模态命题对当关系所进行的演绎推理。 例如，根据 ?OA? P ?A便有： 并非子女必须随父姓； 所以，子女可以不随父姓。 （二）复合规范模态命题推理 复合规范模态命题推理是根据复合规范模态命题之间的等值关系或蕴含关系而进行的演绎推理。 例如，根据 P（pVq） ? PpVPq 便有 自诉人在宣告判决前，可以同被告人自行和解或者撤回自诉； 所以，自诉人在宣告判决前，可以同被告人自行和解，或者可以撤回自诉。 常见的公式有： （1） O（p→q） →（Op→Oq） （2） O（pΛq） ?