离散数学 推理与证明

离散数学 推理与证明请看图 图中画出的那两步不太懂 请解答 谢谢
2026-05-18 18:04:43
推荐回答(1个)
回答1:

第2步把Q当做前提条件能推出S,根据CP规则,说明Q→S。
第一步把P当做前提条件能推出Q→S,同理,有P→(Q→S)。