Artificial Intelligence: Foundations of Computational Agents, 2nd Edition, by David L. Poole and Alan K. Mackworth is an excellent resource and freely available online.
The resource methodically and precisely explains the details of artificial intelligence in understandable terms.
In particular, I found the chapter on Propositions and Inference quite helpful.