2
$\begingroup$

Page 18 “Theorem 3. If $\models A$ and $\models A\to B$, then $\models B$.”

Page 43 From prove of Theorem 12. “By Theorem 3, given that premises $A$ and $B$ for an application of modus ponens are valid, so is the conclusion $B$.”

It is looks to me as misprint. It should be “By Theorem 3, given that premises $A$ and $A\to B$ for an application of modus ponens are valid, so is the conclusion $B$.”

Am I right?

  • 1
    Luckily Google books had enough of a preview for me to check. Yes, you are right.2011-08-12

1 Answers 1