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