考试
1970-01-01 08:00:00

证明: (p∧q)→r,¬r∨s,¬s,p蕴含¬q 过程如下

题目描述

证明: (p∧q)→r,¬r∨s,¬s,p蕴含¬q 过程如下:   证明:        ⑴ q                     P(附加前提)             ⑵ ¬r∨s                  P             ⑶ ¬s                    P             ⑷ ¬r                T⑵⑶I             ⑸ (p∧q)→r           P             ⑹ ¬(p∧q)      

答案解析

加载中...
AI正在思考中,请稍候...