必要条件假言推理有两种正确有效的推理形式这就是“否定前件式”和“肯定后件式”。