【正确答案】(1)将简单语句符号化：
   p：李淑敏是理科生；q：李淑敏是文科生；
   r：李淑敏学微积分．
   (2)前提：p→r，￢q→p，￢r；
   结论：q．
   (3)构造证明：
   ①p→r
   前提引入；
   ②￢r
   前提引入；
   ③￢p
   ①、②拒取式；
   ④￢q→p
   前提引入；
   ⑤q
   ③、④拒取式．
   问：若在以上的证明中，不使用拒取式，应如何证明?
   可证明如下：
   ①￢q→p
   前提引入；
   ②p→r
   前提引入；
   ③￢q→r
   ①、②假言三段论；
   ④q∨r
   ③置换；
   ⑤￢r
   前提引入；
   ⑥q
   ④、⑤析取三段论．
   再问：若在第二个证明中既不使用拒取式，也不使用假言三段论，应如何证明?
   可证明如下：
   ①￢q→p
   前提引入；
   ②q∨p
   ①置换；
   ③p→r
   前提引入；
   ④￢p∨r
   ③置换；
   ⑤￢r
   前提引入；
   ⑥￢p
   ④、⑤析取三段论；
   ⑦q
   ②、⑥析取三段论．
   在以上的证明中，步骤数分别为5、6、7，可见第一个证明最好．