Students who complete this unit will demonstrate that they can:

• Describe and explain the use of predicate logic for knowledge representation and reasoning.
• Translate a natural language sentence into predicate logic statement.
• Convert a logic statement into clause form.