[单选题]下列推理形式中,有效式是() A p∨q→﹁r,p⊢﹁r B ﹁(p∨﹁q)⊢ p C (p→q)∧﹁p⊢﹁q D ﹁p∨q ∨r⊢ r 选题 推理 下列 发布时间:2024-07-03 14:42:35