（F）必要条件的假言推理中否定前件就要否定后件，肯定后件就要肯定前件