[填空题,3.4分] 假言推理（AB）A（），假言三段论（AB）（BC）（）。