6.3 三段论的逻辑训练