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