I'm taking a knowledge representation class and need more perspective on basic model theory. We're currently using Levesque and Brachman.
Specifically, a question on the midterm was something like, "Given $\alpha$ $\beta$ and $\gamma$ are formulas, does $\alpha \models \beta \wedge \gamma$ imply $\alpha \models \beta$ or $\alpha \models \gamma$." I thought this was the case as if we have an interpretation that entails the disjunctions of two formulas then there is an if and only if concerning whether the interpretation entails both separately: $\mathfrak{I} \models \alpha \wedge \beta \iff \mathfrak{I} \models \alpha$ or $\mathfrak{I} \models \beta$. After the midterm I came across this explanation which made clear that entailment for interpretations have a different meaning then those for logical forumlas (or perhaps I'm confused here as well and not using the correct vernacular to describe the difference). From what I've read the difference is semantic consequence vs logical entailment.
Is there a book, set of notes, or write up that elucidates distinctions like this? If the distinction above is incorrect, then even naming it correctly would help.
As an aside here are some related questions:
When do we use entailment vs implication?
Semantic vs syntactic consequence
Implies vs. Entails vs. Provable
Edit:
I think my real issue here was that I misunderstood how commonly this topic was covered. I was unaware of my very superficial understanding of logic/models (e.g. basic predicate and first order covered in discrete math). From what I can tell now, I don't actually own an undergraduate level logic book nor have I really spent time with one.
I guess that changes the question to what are good undergraduate logic books. As there are many lists of this type I won't ask that you post them unless they're absolutely spectacular. (Mauro has already provided more than enough for me to get started).