拒取式，是在蕴含表达式中，否定后件，得出否定前件的结论。说通俗一点，就是通过得知后件为假时，拒绝接受前件，所以叫拒取式假言推理，是在蕴含表达式中，肯定前件，得到后件成立的结论。假言的意思，就是在蕴含表达式，假设前件成立，得到后件成立
固定名称而已，记住就好了
