REASONING, INFERRING AND JUDGING

By definition, the inference claim is “if A then B”. Now suppose we add “if A then B” to the original argument, in an attempt to make the inference claim explicit. The argument form is now “A, if A then B; so B”. But the inference claim for the revised argument is “if A and if A then B, then B”. ................
................