填写命题逻辑推理证明中每一步的规则名称。(下面列出的都是正确的推理规则,请从中选择,在每个空中填一个字母,A或B或C...) 前提: (p∧q)→r,¬r∨s,¬s,p 结论:¬q 证明: (1) q 结论否定引入 (2) ¬r∨s ( ) (3) ¬s ( ) (4) ¬r ( ) (5) (p∧q)→r ( ) (6) ¬(p∧q) ( ) (7) ¬p∨¬q ( ) (8) p ( ) (9) ¬q ( ) (10) q∧¬q(矛盾式) ( ) (A析取三段论规则,B假言三段论规则,C前提引入规则,D附加规则,E合取引入规则,F拒取式规则,G假言推理规则,H置换规则,I构造性二难规则,J化简规则,K附加前提引入规则,L结论否定引入规则,M破坏性二难规则)