下列推理形式中,有效式是
A.( p∨q ) →┑r,p├ ┑r B.┑( p∨┑q )├ p C. ( p→q ) ∧┑p├ ┑q D.┑p∨q∨r├r
◎欢迎参与讨论,请在这里发表您的看法、交流您的观点。