充分条件假言推理的两个有效形式是（）和否定后件式。