CS202: Discrete Structures

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

• form predicate calculus statements using universal and existential quantifiers;
• translate to and from English to predicate calculus statements;
• apply AND, OR, NOT, => to statements containing universal and existential quantifiers;
• apply predicate calculus rules to transform statements that contain both universal and existential quantifiers; and
• prove predicate calculus statements using logic rules of inference.