(¬p→q),(r→¬s),(¬q∨s)⊢p∨¬r
(¬p∧q), ¬p⊢ q
(¬p→q),(q→¬s),( ¬s→r)⊢¬p→r
SIP⊢¬PES
SOP⊢POS
各选项分析如下：
A：二难推理复杂破坏式；
B：无效，（联言推理的有效形式为合成式和分解式）；
C：假言连锁；
D：SIP⊢¬SEP⊢¬PES;
E：O判断不能进行换位推理，无效。
答案为BE。
