Mathematical logic is an important area of AI:

- Logic is one of the major knowledge
representation and reasoning methods.
- Logic serves as a standard of comparison for other representation and
reasoning methods.
- Logic has a sound mathematical basis.
- The PROLOG language is based on logic.
- Those who fail to learn logic are doomed to reinvent it.

The form of logic most commonly used in AI is * First-Order Predicate
Calculus* (* FOPC* or just * PC*).