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