CS405: Artificial Intelligence

Upon successful completion of this unit, you will be able to:

• Explain the syntax and semantics of logic statements.
• Write statements, operate on statements, apply the rules of logic to transform a statement to equivalent statements, and evaluate statements in both the propositional and predicate calculus.
• Make inferences and prove statements in logic.