充分条件假言推理有肯定前件式和 ______________________。