2. B。右边应该是P∨Q，用幂等律3. C。中间两个前提利用析取三段论得到S，再和第一个前提用假言推理得到：(否定)Q，再和最后一个前提用拒取式得到P
第一题选B.第二题选C.p->(p->Q)=(p^p)->Q=p->Q
