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