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