命题逻辑演绎的CP规则为( ).
A.在推演过程中可随便使用前提 B.在推演过程中可随便使用前面演绎出的某些公式的逻辑结果 C.如果要演绎出的公式为 形式,那么将B作为前提,演绎出C D.设 是含公式A的命题公式, ,则可用B替换 中的A
◎欢迎参与讨论,请在这里发表您的看法、交流您的观点。