> 其他 >
构造推理证明:前提p→q,非r→p,非q,结论r
人气:114 ℃ 时间:2020-02-02 18:44:07
解答
证明:
①p→q 前提引入
②非q 前提引入
③非p ①②拒取式
④非r→p 前提引入
⑤r ③④拒取式
推荐
猜你喜欢
© 2024 79432.Com All Rights Reserved.
电脑版|手机版