《离散数学》证明题 证明P→(Q→S),┐RVP,Q┝R→S

《离散数学》证明题 证明P→(Q→S),┐RVP,Q┝R→S
数学人气:867 ℃时间:2020-02-03 15:35:32
优质解答
(1)R P(添加前提)(2)┐RVP P(3)P T,(1),(2)(4)P→(Q→S) P(5)(Q→S) T,(3),(4),(6)Q P(7)S T,(5),(6)(8)R→S CP,(1),(7)其中,第3步的T用到了公式:┐A∧(A∨B) => B第5步和第7步的T用到了公式:A∧(A→B) => BP:前...
我来回答
类似推荐
请使用1024x768 IE6.0或更高版本浏览器浏览本站点,以保证最佳阅读效果。本页提供作业小助手,一起搜作业以及作业好帮手最新版!
版权所有 CopyRight © 2012-2024 作业小助手 All Rights Reserved. 手机版