结构推理
若以A和B为前提可以必然推出C，而D与C矛盾，E与A矛盾。 试证明：由D和B可必然推出E。
【正确答案】
证明：(1)A∧B→C(已知) (2)D(即﹁C)(题设) (3)由(1)与(2)可推﹁A∨﹁B (4)B(题设) (5)由(3)与(4)可推﹁A (6)因E与A矛盾，则﹁A1 E(已知)
【答案解析】
提交答案
关闭