From Wikibooks, open books for an open world
||This page or section is an undeveloped draft or outline.
You can help to develop the work, or you can ask for assistance in the project room.
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.