下面4个推理定律中，不正确的为( )。
A.A=>(A∨B) (附加律)
B.(A∨B)∧┐A=>B (析取三段论)
C.(A→B)∧A=>B (假言推理)
D.(A→B)∧┐B=>A (拒取式)
正确答案是D