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

判断证明(p→q)∧(q→r)∧¬r=﹥¬p 的过程是否正确

题目描述

判断证明(p→q)∧(q→r)∧¬r=﹥¬p 的过程是否正确。 证明:⑴ p→q      P规则    ⑵ q→r   P规则    ⑶ p→r      T⑴⑵I    ⑷ ¬r→¬p      T⑶E    ⑸ ¬r      P规则    ⑹ ¬p         T⑷ ⑸I 所以¬p是前提p→q,q→r,¬r的有效结论。

答案解析

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