第15章 初试演绎法(第2页)