Sets, Functions and Relations and related operations to computer programming. It constructs sound and arguments in propositional and predicate logic by applying appropriate rules of inference given sample intelligent software. Construct, valid mathematical proof using mathematical induction, direct proof and proof by contradiction to simplify programs and prove program correctness.