6[填空题]
分条件假言直言推理有两种有效的推理形式，即（）和否定后件式。