早教吧 育儿知识 作业答案 考试题库 百科 知识分享

证明:{P→(Q→S),-RvP,Q},蕴含(R→S)^Q怎么证明

题目详情
证明:{P→(Q→S),-R v P,Q},蕴含(R→S)^ Q怎么证明
▼优质解答
答案和解析
-R v P 等价于 R →P , 从而有
R → P → (Q → S )
所以 R → (Q → S )
再加上Q是不是就有R→S 呢?.
仅供参考,Logic我只是作为基础学了点皮毛.