The theorem is about a conditional sentence. The principle of explosion is about logical consequence.
Yes, I’m not going to be making that confusion again :-)
The book I was reading refered to sentences like “A ∧ (A → B) → B” as modus ponens theorems; I’ve copied that usage, but I can change it if it’s confusing.
Yes, I’m not going to be making that confusion again :-)
The book I was reading refered to sentences like “A ∧ (A → B) → B” as modus ponens theorems; I’ve copied that usage, but I can change it if it’s confusing.