What is formal logic in artificial intelligence?

What is formal logic in artificial intelligence?