Artificial Intelligence/Logic
From Wikibooks, the open-content textbooks collection
For a more in-depth book, see the wikibook Formal Logic. This chapter for AI Logic is aimed to be an introduction of specific elements of Logic that pertain to AI only.