必要条件假言推理有肯定后件式和______。