Logic for Artificial Intelligence A cheat sheet for some of the basic symbols and definitions used in AI logic.