判断题
正确(↓↓↓ 点击‘点击查看答案’看答案解析 ↓↓↓)
A.在推演过程中可随便使用前提B.在推演过程中可随便使用前面演绎出的某些公式的逻辑结果C.如果要演绎出的公式为B→C形式,那么将B作为前提,设法演绎出CD.设Φ(A)是含公式A的命题公式,,则可用B替换Φ(A)中的A
A.①→②B.②→③C.③→④D.④→⑤
下列命题相容吗?
微信扫一扫,加关注免费搜题